Yuya Nishihara dd26b7be40 merge: add Merge constructor that accepts interleaved values
Also migrated some callers of 3-way merge, where [left, base, right] order
looks okay.
2023-11-07 17:10:12 +09:00
..
2023-09-14 17:11:05 -04:00
2023-09-14 17:11:05 -04:00
2023-10-11 19:24:01 +09:00