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: [email protected] >> For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
