Sorry about the JIRA blast. Those who are planning on porting fixes to the 10.1 branch for the 10.1.3 release, please be sure to mark the bug as fixed in not only the specific version, say 10.1.2.4, but also the next 'roll-up' release version, in this case 10.1.3.0. This will help greatly when generating release notes and makes it easier to query for other specifics of that release in JIRA.
Thanks! andrew
