Merge pull request #715 from nico/lazyenv
authorNico Weber <nicolasweber@gmx.de>
Thu, 17 Apr 2014 05:28:53 +0000 (22:28 -0700)
committerNico Weber <nicolasweber@gmx.de>
Thu, 17 Apr 2014 05:28:53 +0000 (22:28 -0700)
Allocate per-edge BindingEnvs lazily.


Trivial merge