chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ef396b) | patch
dgit: Crash if we forgot to set $do_split_brain
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 14:09:13 +0000 (15:09 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 15:59:48 +0000 (16:59 +0100)
commitdc9d5839ec3ac78ddad9b48f813e5f5da9413192
treeca1ae5b591f5790bb6011d0b459f567480fa5cf1tree | snapshot
parent7ef396b5c696d4de6b27630a91a0f6f2c006a030commit | diff
dgit: Crash if we forgot to set $do_split_brain

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.