Labels

• bug

  An unexpected problem or behaviour
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  Improvement of existing feature
• feature

  A request, idea, or new functionality
• help wanted

  Extra attention is needed
• java

  Pull requests that update java code
• question

  Further information is requested