Completed
Pull Request — master (#2087)
by Fran
43s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Fran Moreno  
Merge c361bf6d9ff7c6e0cadadf1fc91fe1a69094b8ea into 1e746078f4ee6a492f67d593c387ffaddd102df7
3 more commits
Base
Fran Moreno  
Relax `Settings::setMergePolicy` value to allow int (#2085)