]> WPIA git - gigi.git/commitdiff
Merge changes Icf0b8af5,I2f8a5077
authorBenny Baumann <BenBE1987@gmx.net>
Sat, 11 Nov 2017 12:38:57 +0000 (13:38 +0100)
committerGerrit Code Review <gigi-system@dogcraft.de>
Sat, 11 Nov 2017 12:38:57 +0000 (13:38 +0100)
* changes:
  add: table to store certificate logs
  chg: manage more resources explicitly


Trivial merge