Submitted https://salsa.debian.org/java-team/checker-framework-java/-/merge_requests/2 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://alioth-lists.debian.net/pipermail/pkg-java-maintainers/attachments/20231108/0eed0108/attachment.htm>