chiark / gitweb /
dgit: Move determine_whether_split_brain further up the file