<p>I see the problem, your numbering scheme doesn't really lend itself to divergence on a per-platform basis. I wouldn't beat yourself up about this as there is no obvious elegant solution (as far as I can see). The important thing is that users can distinguish between the two functionally equivalent 1.36 versions.</p>
<p>You could introduce a 4th digit group for patch level, i.e. go to 1.36.0.1 on mac. Or you could introduce some kind of suffix (like rc1 for release candidate1, fp1 (fix pack1), dr1 (defect resolution) or just  the more neutral upd1 for update).</p>
<p>How about geany-1.36_osx_upd1.dmg  ?</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/issues/2413?email_source=notifications&email_token=AAIOWJ5KGDGNS4KRKQDIU2DRDJIVVA5CNFSM4KB5FT2KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEL5UJBA#issuecomment-586892420">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ5ZV5DPEOHIERUEOV3RDJIVVANCNFSM4KB5FT2A">unsubscribe</a>.<img src="https://github.com/notifications/beacon/AAIOWJ7QUKKL3OWEBOAINW3RDJIVVA5CNFSM4KB5FT2KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEL5UJBA.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/issues/2413?email_source=notifications\u0026email_token=AAIOWJ5KGDGNS4KRKQDIU2DRDJIVVA5CNFSM4KB5FT2KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEL5UJBA#issuecomment-586892420",
"url": "https://github.com/geany/geany/issues/2413?email_source=notifications\u0026email_token=AAIOWJ5KGDGNS4KRKQDIU2DRDJIVVA5CNFSM4KB5FT2KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEL5UJBA#issuecomment-586892420",
"name": "View Issue"
},
"description": "View this Issue on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>