[maintainer]update jakarta-tomcat5 to 5.0.19

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

发表回复

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

此站点使用Akismet来减少垃圾评论。了解我们如何处理您的评论数据