Whiley/WhileyCompiler — pull request #358 by samminweng (2014-06-10 04:35:23+00:00)
Title: Update CONTRIBUTORS

Signed off the developer's certificate.