<p></p>
<p>Ok, I have created two separate PRs:</p>
<ul>
<li>Update ctags: <a class="issue-link js-issue-link" data-error-text="Failed to load title" data-id="925846569" data-permission-text="Title is private" data-url="https://github.com/geany/geany/issues/2830" data-hovercard-type="pull_request" data-hovercard-url="/geany/geany/pull/2830/hovercard" href="https://github.com/geany/geany/pull/2830">#2830</a></li>
<li>Add kotlin support: <a class="issue-link js-issue-link" data-error-text="Failed to load title" data-id="925843353" data-permission-text="Title is private" data-url="https://github.com/dolik-rce/geany/issues/1" data-hovercard-type="pull_request" data-hovercard-url="/dolik-rce/geany/pull/1/hovercard" href="https://github.com/dolik-rce/geany/pull/1">dolik-rce#1</a></li>
</ul>
<p>Unfortunately, github does not allow me to create the second one in this repository, because it compares two branches in forked repository. But I'll move it here as soon as possible, as explained in the first PR.</p>
<p>I will close this PR, as it is superseded by the two linked above.</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/2778#issuecomment-864745966">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJZLZU7ANW5H6WGGYFDTT3G5PANCNFSM42MVWXOA">unsubscribe</a>.<img src="https://github.com/notifications/beacon/AAIOWJ3ZXKYKUWKFVKHVHUTTT3G5PA5CNFSM42MVWXOKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOGOFPT3Q.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/2778#issuecomment-864745966",
"url": "https://github.com/geany/geany/pull/2778#issuecomment-864745966",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>