Re: [PATCH] Add ant-build-system.

[Ricardo Wurmus]

> OK with these changes!

Thanks.  I performed the requested changes (including a fix to
“reset-timestamps” to include directories).  Pushed as 5f7a1a4.

~~ Ricardo