Merge master into staging-next

This commit is contained in:
Frederik Rietdijk
2018-12-31 12:00:36 +01:00
172 changed files with 2734 additions and 2541 deletions

View File

@@ -4677,6 +4677,11 @@
github = "vklquevs";
name = "vklquevs";
};
vlaci = {
email = "laszlo.vasko@outlook.com";
github = "vlaci";
name = "László Vaskó";
};
vlstill = {
email = "xstill@fi.muni.cz";
github = "vlstill";