Commit 136a71f4eee60052cd1b55ba7c9b600871baf6d4

Vicent Marti 2015-10-30T11:45:52

merge-base: Remove redundant merge bases