Re: [hibernate-dev] To require or not to require a JIRA for a small-typo kind of commit