github-actions[bot] 191e60634e Merge master into staging-next

2023-08-06 18:01:04 +00:00

..

documentation

gnome-user-docs: 44.1 → 44.3

2023-07-02 18:51:27 +08:00

fonts

Merge pull request #246787 from jopejoe1/notofonts

2023-08-06 14:02:09 +02:00

icons

papirus-icon-theme: 20230601 -> 20230801

2023-08-01 20:52:45 +02:00

machine-learning/mnist

…

misc

Merge branch 'master' into staging-next

2023-08-01 16:52:24 +03:00

sgml+xml

treewide: use optionalString instead of 'then ""'

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

soundfonts

…

themes

treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 2: the non-trivial cases

2023-08-03 16:32:05 +00:00