An edits region sequence id is set only after the edit has traversed the ring buffer. Flushing, we just up whatever the current region sequence id is. Crossing the ring buffer may take some time and is done by background threads. The flusher may be taking the region sequence id though edits have not yet made it across the ringbuffer: i.e. edits that are actually scoped by the flush may have region sequence ids in excess of that of the flush sequence id reported.
The consequences are not exactly clear. Would rather not have to find out so lets fix this here.
|Transition||Time In Source Status||Execution Times||Last Executer||Last Execution Date|
|19h 34m||1||stack||02/May/14 23:55|
|10d 19h 43m||1||stack||13/May/14 19:39|
|284d 3h 52m||1||Enis Soztutar||21/Feb/15 23:31|
|Status||Resolved [ 5 ]||Closed [ 6 ]|
|Status||Patch Available [ 10002 ]||Resolved [ 5 ]|
|Resolution||Invalid [ 6 ]|
|Status||Open [ 1 ]||Patch Available [ 10002 ]|