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)
No functional change.

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

No differences found