melted Merge pull request #4908 from melted/idris-release-1.3.4