Hi, sorry if this was discussed before. Having pushed an extremely minor change to master, is that to be marked as 5.0 as far as JIRA is concerned? Sanne