20 Jan
2018
20 Jan
'18
6:14 p.m.
Thank you, Peter! Could someone post the URLs of each of our Jenkins servers?
Ok, it seems Mr. Jenkins was failing to build the Debian database package—because the needed files were incidentally deleted in commit 8a4aae0240c195d5c413d2401c2cb212d4cdbad2 …
Right now it’s building and it’s already past the Debian database package so I hope that was it!