Discussions

• 1 You must be logged in to vote

  💬

  Change version numbering and other related things

  enhancement Feature request, an issue about something that could be improved, or a PR improving something. priority: low Issues that are not harmful to the experience but are related to useful changes or additions.

  bensku started May 22, 2018 in General

  

  

  

  

  8