chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc9d583) | patch
dgit: Break out determine_whether_split_brain
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 14:10:19 +0000 (15:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 15:59:48 +0000 (16:59 +0100)
commit7318599a1198a7b29082a9c4c7a6a4f42ddd8d92
tree841d2445ea22f3aa2422ddff728d92aa50baad95tree | snapshot
parentdc9d5839ec3ac78ddad9b48f813e5f5da9413192commit | diff
dgit: Break out determine_whether_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.