chiark / gitweb /
shared: set - make argument to set_remove() const