<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">In fact, I would probably go further and change the v1.12.0 tag<br>
to point to the v1.12.0+1 commit. Since a +N package is always<br>
assumed to be "better", I don't see a reason to keep the previous<br>
tag. But some might feel this is going a bit too far.<br></blockquote><div><br></div><div>Thanks for the explanation! I solved it by removing the original v1.12.0 tag and creating a new tag pointing to the same commit as v1.12.0+1. Feels better than removing it completely.</div></div></div>