Merge proposals dependent on lp:~jeremy-munsch/synapse-project/fix-ssh-terminal

lp:~jeremy-munsch/synapse-project/fix-ssh-terminal has no merge proposals.