kframework/k — pull request #673 by dwightguth (2014-06-25 22:24:16+00:00)
Title: add known issue to readme

FYI @liblit

If this seems clear to you let me know and I'll merge it.