8 Nov
2012
8 Nov
'12
2:25 p.m.
If you make a good general use patch, then submit the diff to a jira for merging. And even if it's not ideal for everyone... for your own maintainability it would be helpful to make it an *option *then it can probably be merged too. -Avi