Michele Guerini Rocco f8c3e15771 Merge pull request #75163 from rnhmjoj/gohu ... gohufont: generate opentype files		2020-02-14 00:46:05 +01:00
..
documentation	man-pages: 5.04 -> 5.05	2020-02-12 22:07:28 +00:00
fonts	Merge pull request #75163 from rnhmjoj/gohu	2020-02-14 00:46:05 +01:00
icons	numix-icon-theme-circle: 19.09.20 -> 19.12.27	2020-02-13 04:11:43 +00:00
machine-learning/mnist
misc	spdx-license-list-data: add platforms	2020-02-11 18:18:18 -05:00
sgml+xml	docbook-xsl: Fix reproducibility when building docs	2020-01-06 11:56:01 +01:00
soundfonts/fluid
themes	ant-theme: remove pbogdan from maintainers	2020-02-09 09:50:10 +00:00