tree a9c0ff91ea2793e444156568af4d8c450bd853e3
parent fe787259b65313941276e9258541d1274cb2715b
author Nabin Hait <nabinhait@gmail.com> 1361267003 +0530
committer Nabin Hait <nabinhait@gmail.com> 1361267003 +0530

fixes in gle_floating_point_issue patch