github-actions[bot] 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