Frederik Rietdijk db6c38a075 Merge master into staging-next		2019-07-22 14:15:32 +02:00
..
documentation	gnome3.gnome-user-docs: Add meta attributes	2019-06-27 00:06:34 +02:00
fonts	victor-mono: improvements from previous PR	2019-07-18 18:46:40 -04:00
icons	papirus-icon-theme: 20190521 -> 20190615	2019-07-01 22:47:51 -07:00
machine-learning/mnist
misc	Merge master into staging-next	2019-07-09 15:46:00 +02:00
sgml+xml	docbook5: 5.0 -> 5.0.1	2019-07-20 12:39:16 +02:00
soundfonts/fluid
themes	Merge pull request #64186 from tadfisher/plata-theme	2019-07-20 23:44:17 -03:00