Merging in old changes#142
Open
petered wants to merge 45 commits intoQUVA-Lab:masterfrom petered:master
+3,644-801
Commits
Commits on Jul 17, 2018
- committed
Commits on Jul 18, 2018
Commits on Jul 19, 2018
Commits on Aug 7, 2018
Commits on Sep 14, 2018
- committed
Commits on Sep 22, 2018
- committed
Commits on Nov 12, 2018
- committedPeter
Commits on Nov 20, 2018
- committedPeter
Commits on Dec 14, 2018
- committed
Commits on Dec 19, 2018
- committed
- committed
Commits on Dec 21, 2018
- committed
- committed
Commits on Jan 2, 2019
- committed
- committed
Commits on Jan 3, 2019
- committed
- committed
- committed
Commits on Jan 4, 2019
- committed
Commits on Jan 5, 2019
- committed
Commits on Jan 24, 2019
Commits on Jan 28, 2019
- committedO'Connor
Commits on Feb 14, 2019
- committed
Commits on Feb 17, 2019
Commits on Apr 11, 2019
- authored
Commits on Apr 16, 2019
- committed
- committed
- committed
- committed
- committed
Commits on Apr 17, 2019
- committed
- authored
- committed
- committed
- authored
Commits on Sep 15, 2022
Commits on Jan 8, 2023
- authored