]> WPIA git - gigi.git/history - src/club/wpia/gigi/ping/SSLPinger.java
chg: ensure actor, target and support ticket are non-null
[gigi.git] / src / club / wpia / gigi / ping / SSLPinger.java
2018-01-17 Benny BaumannMerge "fix: spelling"
2018-01-15 Felix Dörrechg: enhance type safety of serials
2018-01-04 Lucas WerkmeisterMerge "chg: format show history link"
2017-12-25 Felix DörreMerge "chg: adjust ticket number handling according...
2017-12-20 Benny BaumannMerge changes I86c1045b,I9fc533ac
2017-12-18 Felix Dörrechg: revoke certificates if repeated ping failed
2017-02-16 Felix Dörreupd: rename package name and all references to it