tree f6841d3c11d7a6782eb3ae85b6e3048cb2e7e2c1
parent 0f31b3ec6ccc138e240f3c8c2e071dc8b6763816
author Julian Hyde <julianhyde@gmail.com> 1379463766 -0700
committer Julian Hyde <julianhyde@gmail.com> 1379463766 -0700

Upgrade to optiq-core-0.4.12.