1. 2023-05-16 Re: Release Ant 1.10.13? ant-dev Paul King 2. 2023-05-15 Re: Release Ant 1.10.13? ant-dev Jaikiran Pai 3. 2022-12-18 Re: Release Ant 1.10.13? ant-dev Stefan Bodewig 4. 2022-12-11 Re: Release Ant 1.10.13? ant-dev Paul King 5. 2022-12-11 Re: Release Ant 1.10.13? ant-dev Jaikiran Pai 6. 2022-12-11 Re: Release Ant 1.10.13? ant-dev Jaikiran Pai 7. 2022-11-26 Re: Release Ant 1.10.13? ant-dev Stefan Bodewig 8. 2022-11-20 Re: Release Ant 1.10.13? ant-dev Jaikiran Pai 9. 2022-11-19 Re: Release Ant 1.10.13? ant-dev Stefan Bodewig 10. 2022-11-18 Re: Release Ant 1.10.13? ant-dev Stefan Bodewig 11. 2022-11-16 Release Ant 1.10.13? ant-dev Jaikiran Pai