From: Andre Noll <maan@tuebingen.mpg.de>
Date: Mon, 11 Feb 2019 19:58:09 +0000 (+0100)
Subject: Merge branch 'master' into next
X-Git-Url: https://git.tuebingen.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