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 _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev