2019-02-06 | Ricardo Wurmus | Merge branch 'master' into core-updates | blob | commitdiff | raw |
2019-01-09 | Efraim Flashner | Merge remote-tracking branch 'origin/master' into staging | blob | commitdiff | raw |
2019-01-07 | Jelle Licht | gnu: biber: Update to 2.12. | blob | commitdiff | raw |