SAG

Merge proposals dependent on lp:~gthorslund/sag/logic-vs-gui-reorg

lp:~gthorslund/sag/logic-vs-gui-reorg has no merge proposals.