Hey guys! First and foremost, thank you for the great job of creating and maintaining this awesome project!
My team would like to share a couple of tiny contributions, one is a small bug fix and the other in the form of a feature request. I created a PR for both here: https://github.com/apache/pdfbox/pull/133 [bug-fix] https://github.com/apache/pdfbox/pull/134 [feature-request] I was wondering what your preferred way would be when it comes to contributions; should we create a JIRA ticket for these and link the proposals? Or create an issue on GitHub and discuss it there? Or an email to a particular address? You guys must be busy so I'm asking to avoid any unwanted noise. Thanks in advance for your time. Regards, Henry
