Closed markhibberd closed 11 years ago
Note that I also had a quick discussion with Tony, and he indicated he would be able to produce a release for kiama soon.
Note: I bumped initial request to the release version of kiama and squashed the original commit.
Upgrade kiama to 1.5.1.
This version of kiama fixes #279.
Note: This bumps initial request to the release version of kiama.