kframework/k — pull request #1233 by dwightguth (2014-12-03 16:32:35+00:00)
Title: add new entry to changelog for modular sorts

@radumereuta please review