Merge proposals dependent on lp://staging/~edgimar/leo-editor/misc

lp://staging/~edgimar/leo-editor/misc has no merge proposals.