git.tue.mpg.de Git - dss.git/commit

author	Andre Noll <maan@tuebingen.mpg.de>
	Mon, 11 Feb 2019 19:58:09 +0000 (20:58 +0100)
committer	Andre Noll <maan@tuebingen.mpg.de>
	Mon, 11 Feb 2019 19:58:09 +0000 (20:58 +0100)
commit	0ba2970172d7851a31178d84238fd1e8c36a2b35
tree	61127c2b2e332a429f8f93f63a1a95c0e7fa3994	tree \| snapshot
parent	74ac846ae835e8b38656548bae6c05e22a175320	commit \| diff
parent	c14a503ccdb73f7a15e4c55103029f1c25709f10	commit \| diff

Merge branch 'master' into next

* master:
Remove stale comment.
Improve comment of snapshot_currently_being_removed.