chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7318599) | patch
dgit: Move determine_whether_split_brain further up the file
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 14:13:17 +0000 (15:13 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 15:59:49 +0000 (16:59 +0100)
commit222378544900b50217a2f3cf80478639a074beee
tree1128490967b93d4e407108be6413b7c3d3cbd6e5tree | snapshot
parent7318599a1198a7b29082a9c4c7a6a4f42ddd8d92commit | diff
dgit: Move determine_whether_split_brain further up the file

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.