github-actions[bot]andGitHub 652204165d Merge master into staging-next

2023-11-11 12:00:58 +00:00

..

documentation

scheme-manpages: unstable-2023-08-13 -> unstable-2023-08-27

2023-10-19 09:43:24 +00:00

fonts

maintainers: ninjatrappeur -> picnoir

2023-11-11 08:31:16 +01:00

icons

Merge pull request #263785 from romildo/upd.reversal-icon-theme

2023-11-10 10:17:33 -03:00

machine-learning/mnist

…

misc

Merge remote-tracking branch 'origin/master' into HEAD

2023-11-10 15:18:19 +01:00

sgml+xml

treewide: use optionalString instead of 'then ""'

2023-06-24 20:19:19 +02:00

soundfonts

…

themes

Merge pull request #262049 from Madouura/pr/tokyo-night

2023-11-08 21:54:34 +02:00