Thank you for taking interest in this.  I should have marked myself as
the bug owner when I started to working on it to prevent the duplicated
effort.


No problem. I reckon the important thing is that the bug gets fixed.

There is a bit more minor package freshening that I will do before the
upload.

Ok, sounds good.

---
mvh / best regards
Hans Joachim Desserud
http://desserud.org

__
This is the maintainer address of Debian's Java team
<http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. 
Please use
debian-j...@lists.debian.org for discussions and questions.

Reply via email to