chiark / gitweb /
Version tags mangling: Protect dots, as per proposed update to DEP-14.