Angelo Barragán has joined the developer team for Java-JML! He's been contributing fixes and new features indirectly recently and I look forward to seeing whatever he contributes in the future!! Welcome!
Log in to post a comment.
