chiark / gitweb /
where-vessels: fix up have-ownership