<p></p>
<blockquote>
<p><a class="user-mention" data-hovercard-type="user" data-hovercard-url="/users/b4n/hovercard" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/b4n">@b4n</a> I had a brief look at the regex patches and they look good to me (haven't tried them though) - should I add them to this pull request?</p>
</blockquote>
<p>If you're OK with them, yes, please.</p>
<blockquote>
<blockquote>
<p>...we have a very minimal patch that would hopefully disappear one day...</p>
</blockquote>
<p>I actually have a patch modifying our tag manager to achieve that - it's not completely trivial and maybe worth considering if we want to do it that way so I'll post it separately once this pull request is merged.</p>
</blockquote>
<p>Depending on what the patch you're talking about involves, would you think upstream would accept a mean of selecting which method is used?  It actually could make sense to use their hash version when generating tag files so there's no (likely) duplicates, but use plain numbers when generating a TOC, so maybe there could be an option somehow.  Just a thought.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/2666#issuecomment-731743205">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ6AEKTFSTFLEGBEAYLSRECJDANCNFSM4T2VTWXA">unsubscribe</a>.<img src="https://github.com/notifications/beacon/AAIOWJZMQBG5JRDWJ5APG53SRECJDA5CNFSM4T2VTWXKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOFOOYHZI.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/2666#issuecomment-731743205",
"url": "https://github.com/geany/geany/pull/2666#issuecomment-731743205",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>