Learn more about these different git repos.
Other Git URLs
@@ -2,6 +2,14 @@
+ WaiverDB 1.1.3
+ Released 5 August 2019
+ * Allow overriding krb_principal option for waiverdb-cli
+ * Code optimizations and improvements
Pull-Request has been merged by gnaponie
Build c135f5b FAILED!
Rebase or make new commits to rebuild.