No problem, I was just afraid I might have done something wrong.

Stefan

On 2023-09-11, Jaikiran Pai wrote:

> Thank you Stefan. I probably didn't look correctly when trying to
> close a recent bug that got fixed. I see that the bug is now correctly
> fixed for 1.10.15. Thank you.

> -Jaikiran

> On 08/09/23 12:13 pm, Stefan Bodewig wrote:
>> On 2023-09-08, Jaikiran Pai wrote:

>>> Can someone with admin permissions please mark 1.10.14 as a released
>>> version in Ant bugzilla and create a new 1.10.15 release in it?
>> I think I've already done so when the release was published, let me
>> check. Yes, I see them in the admin interface.

>> Cheers

>>          Stefan

>> ---------------------------------------------------------------------
>> To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
>> For additional commands, e-mail: dev-h...@ant.apache.org


> ---------------------------------------------------------------------
> To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
> For additional commands, e-mail: dev-h...@ant.apache.org


---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org

Reply via email to