Eric has submitted several patches over time. I propose that he be made a committer a Keel.+ 1 from me as well
+1 from me.
http://keelframework.org/documentation Keelgroup mailing list [EMAIL PROTECTED] http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com
