Am 10. März 2019 22:28:13 MEZ schrieb Graeme Fitzpatrick <graemefitz1 at gmail.com>: >I agree, so what is the procedure for deprecating a tag? The normal proposal procedure, only that you don't propose a new tag but the abolition and replacement of an existing one?