idris-lang/Idris-dev — pull request #1216 by jeffersoncarpenter (2014-05-10 07:02:47+00:00)
Title: incremented max allowed blaze markup version

Looked at the changes to blaze-markup between latest 0.5.x.x and latest 0.6.x.x versions, and they were benign. Should we crank up the minimum version to the latest?