Apply changes from master to 0.12 dev branch#3158

kritzcreek wants to merge 2 commits into

purescript:0.12.0-devpurescript/purescript:0.12.0-devfrom

kritzcreek:pretty-print-proxy-0-12kritzcreek/purescript:pretty-print-proxy-0-12Copy head branch name to clipboard