[maintainer]update jakarta-tomcat5 to 5.0.19

今天看到jakarta-tomcat5出5.0.19了,连changelog都没有仔细看就先写了一个升级的Problem Report ports/63062。这次我认为一个比较大的动作就是在distinfo里面加入了SIZE这个参数,即使下载没有完全也能检查distfile是否完整。这个选项真的不错,希望能早日commit 🙂

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

这个站点使用 Akismet 来减少垃圾评论。了解你的评论数据如何被处理