Merge proposals dependent on lp:~ivle-dev/ivle/codemirror-srsly

lp:~ivle-dev/ivle/codemirror-srsly has no merge proposals.