PureScript compiler release v0.12.5

[hdgarrood]

A small release with some bug fixes for issues which were introduced in last week’s release (v0.12.4).

Release notes and download links are on GitHub:

purescript/purescript