From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Fri, 29 Jul 2016 09:18:03 +0000 (+0200)
Subject: Merge pull request #44 from gullcomb/opt-decl-cmp
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=9dcb73ba0bdd186cebb9672e9924636db4debca5;p=cubicaltt.git

Merge pull request #44 from gullcomb/opt-decl-cmp

Speed up comparison of environments
---

9dcb73ba0bdd186cebb9672e9924636db4debca5