| Thu, 28 Feb 2019 03:12:39 +0530 | Sushil khanchi | evolve: cover continue case in pubdiv when merging results in same as public | changeset | files |
| Fri, 22 Feb 2019 01:02:51 +0530 | Sushil khanchi | evolve: handle a case in pubic-div when merging results in same as public | changeset | files |
| Thu, 28 Feb 2019 02:08:58 +0530 | Sushil khanchi | evolve: rename npublicdiv to publicnode | changeset | files |
| Thu, 28 Feb 2019 02:02:18 +0530 | Sushil khanchi | evolve: in pubdiv resolution make sure that transaction get closed | changeset | files |
| Mon, 25 Feb 2019 22:50:24 +0530 | Sushil khanchi | evolve: pin the public cset to local side in merging when solving public div | changeset | files |
| Sat, 23 Feb 2019 00:47:14 +0530 | Sushil khanchi | evolve: add tests of relocation case in public divergence | changeset | files |
| Sun, 03 Mar 2019 16:29:32 +0100 | Pierre-Yves David | branching: merge with stable | changeset | files |