Closed angerhang closed 8 years ago
This syncs the OMATTR fix from the upstream because we need it for the mmt and stex integration. I will start working on the sync branches today but before that is done let's still go with pull request.
sync
This syncs the OMATTR fix from the upstream because we need it for the mmt and stex integration. I will start working on the
sync
branches today but before that is done let's still go with pull request.