Merge master into staging-next

This commit is contained in:
github-actions[bot]
2021-05-10 00:48:32 +00:00
committed by GitHub
44 changed files with 518 additions and 145 deletions
+12
View File
@@ -428,6 +428,12 @@
githubId = 782180;
name = "Alex Vorobiev";
};
alex-eyre = {
email = "A.Eyre@sms.ed.ac.uk";
github = "alex-eyre";
githubId = 38869148;
name = "Alex Eyre";
};
algorith = {
email = "dries_van_daele@telenet.be";
name = "Dries Van Daele";
@@ -7249,6 +7255,12 @@
githubId = 40049608;
name = "Andy Chun";
};
noreferences = {
email = "norkus@norkus.net";
github = "noreferences";
githubId = 13085275;
name = "Juozas Norkus";
};
norfair = {
email = "syd@cs-syd.eu";
github = "NorfairKing";