From: Andre Noll Date: Mon, 11 Feb 2019 19:58:09 +0000 (+0100) Subject: Merge branch 'master' into next X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=0ba2970172d7851a31178d84238fd1e8c36a2b35;p=dss.git Merge branch 'master' into next * master: Remove stale comment. Improve comment of snapshot_currently_being_removed. --- 0ba2970172d7851a31178d84238fd1e8c36a2b35