chiark / gitweb /
dgit: Drop $protovsn < 4; part of tidying up after tag format