]> git.tuebingen.mpg.de Git - dss.git/commitdiff
Improve comment of snapshot_currently_being_removed.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 7 Feb 2019 20:40:43 +0000 (21:40 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 10 Feb 2019 09:38:10 +0000 (10:38 +0100)
The old comment did not provide any information at all..


No differences found