Merge branch 'refs/heads/t/mountpoint'
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 15 Nov 2017 18:09:06 +0000 (19:09 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 15 Nov 2017 18:09:53 +0000 (19:09 +0100)
commitc9fd9f2239319b95c46e49b1b7040e1a898cdcf7
tree3bdd0c47ea03b8de8d215090f0fd512238d8fb6e
parent50e03ce10c3bab1c43e1e68dca3b0471d63807d9
parent31b7424d5b47509ed22667ca2ee31a5590664606
Merge branch 'refs/heads/t/mountpoint'

A new main option which aborts dss if the destination file system is
not mounted.

Cooking for two weeks.

* refs/heads/t/mountpoint:
  New option: --mountpoint.
NEWS
dss.c
dss.suite