Merge proposals dependent on lp://staging/~euclide/euclide/fm

lp://staging/~euclide/euclide/fm has no merge proposals.