debian/source/format
author Laurent Charignon <lcharignon@fb.com>
Wed, 24 Jun 2015 16:54:23 -0700
branchstable
changeset 1467 5c385b812500
parent 755 0021301f7fde
permissions -rw-r--r--
evolve: dedupe divergents when running evolve --all --any or evolve --rev Before this patch, when running evolve --all --any or evolve --rev with the --divergent flag, we were selecting all of the divergents. After solving the first one, its counterparts would get pruned and potentially hidden which would crash when trying to resolve them. This patch introduces logic to dedupe the divergents to be resolved by keeping only one per group of divergent with the lower revision number.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
755
0021301f7fde debian: add source/format file
Faheem Mitha <faheem@faheem.info>
parents:
diff changeset
     1
3.0 (quilt)