chiark / gitweb /
better error msgs from check_not_dirty