chiark / gitweb /
site: Break out we_have_priority
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 15 May 2019 21:26:54 +0000 (22:26 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 18 May 2019 01:16:37 +0000 (02:16 +0100)
commit67871f70403951d279efb20e4821b77dd75daecf
tree3d3ea551e546189e27201663b3d83c37a51b19fb
parentffafab086c4ca0f8532d3fa7990a44fa71d57136
site: Break out we_have_priority

No functional change.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
site.c