chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b957cc) | patch
dgit: Put !! inside do_split_brain()
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 14:06:36 +0000 (15:06 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 15:59:48 +0000 (16:59 +0100)
commit7ef396b5c696d4de6b27630a91a0f6f2c006a030
tree2959982fe2e82e50635726de7df39c32ea1b8743tree | snapshot
parent6b957cc704219e34b6d75cfe779a33bd97d3427fcommit | diff
dgit: Put !! inside do_split_brain()

No functional change.

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