chiark / gitweb /
debian config; actually make split brain mode work. Closes:#841085.