Merge proposals dependent on lp:~maria-captains/maria/5.3-optimizer-debugging

lp:~maria-captains/maria/5.3-optimizer-debugging has no merge proposals.