Hi Felix, Quoting Felix Lechner (2018-11-21 15:52:02) > Well, I also agree with Josch's well-articulated argument. A merge > request to remove the tag is pending (!72). Thank you for bringing > this to our attention! in your original commit you were talking about "some tools". This suggests that you know tools that behave wrongly. If you share the tools you know of, then we could file bugs. Thanks! cheers, josch
Attachment:
signature.asc
Description: signature