tweak do-update
authorRalf Jung <post@ralfj.de>
Mon, 20 Aug 2018 16:42:50 +0000 (18:42 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 20 Aug 2018 16:42:50 +0000 (18:42 +0200)
commit1af46a38f13e52e34e8a154d9bc1e3b16fa5c71f
tree27a68cdf0a9acb6b46eb47b3932e7bb3371ca1e1
parent63bed5883946df675dec4c1981e8f0bce2d6f4cc
tweak do-update
do-update