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