Open GoogleCodeExporter opened 8 years ago
We should do this! (Would there be any remaining sync issues at merge time
that would then need different handling - in terms of pages of components that
become deprecated by merges, at the end of a merge op?)
Original comment by dtab...@gmail.com
on 17 Apr 2015 at 3:20
I think there is no issue related to merge operation either since merge
operations atomically replace all merged components with a newly merged one.
Original comment by kiss...@gmail.com
on 17 Apr 2015 at 4:40
Original issue reported on code.google.com by
kiss...@gmail.com
on 16 Apr 2015 at 11:27