]> git.tue.mpg.de Git - dss.git/commit
Merge branch 'maint'
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 13 Nov 2017 16:23:14 +0000 (17:23 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 13 Nov 2017 16:23:14 +0000 (17:23 +0100)
commite64460eb7c840399e46fc54da3b348fee33e550d
treefaf286b9dfa959660b36797cb4590df21e5d3d00
parentdead9f9151ae2cf14c45e87742284e165976e8c0
parent404aae666e5f8d7ce511639cbe4727a7f2e690cc
Merge branch 'maint'

* maint:
  Fix snapshot removal reason.
dss.c