Re: [jira] Commented: (UIMA-1257) Type System Merging Should Produce Consistent Ordering of Types

2009-07-28 Thread Marshall Schor
+1 -Marshall Thilo Goetz (JIRA) wrote: [ https://issues.apache.org/jira/browse/UIMA-1257?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanelfocusedCommentId=12735944#action_12735944 ] Thilo Goetz commented on UIMA-1257: --- +1,

[jira] Commented: (UIMA-1257) Type System Merging Should Produce Consistent Ordering of Types

2009-07-27 Thread Adam Lally (JIRA)
[ https://issues.apache.org/jira/browse/UIMA-1257?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanelfocusedCommentId=12735825#action_12735825 ] Adam Lally commented on UIMA-1257: -- I've rethought my last comment. I recently happened to

[jira] Commented: (UIMA-1257) Type System Merging Should Produce Consistent Ordering of Types

2009-07-27 Thread Burn Lewis (JIRA)
[ https://issues.apache.org/jira/browse/UIMA-1257?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanelfocusedCommentId=12735896#action_12735896 ] Burn Lewis commented on UIMA-1257: -- +1 for sorting, and hence providing a consistent

[jira] Commented: (UIMA-1257) Type System Merging Should Produce Consistent Ordering of Types

2009-07-27 Thread Thilo Goetz (JIRA)
[ https://issues.apache.org/jira/browse/UIMA-1257?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanelfocusedCommentId=12735944#action_12735944 ] Thilo Goetz commented on UIMA-1257: --- +1, sounds good. If I remember right, the changing