New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Allow Eigen versions of different patch number #79

Merged

chrisbeall merged 1 commit into develop from less-strict-eigen-version-check

Jun 24, 2019

Member

jlblancoc commented Jun 22, 2019 •

edited by dellaert

Loading

Different patch numbers shouldn't be a problem for binary compatibility.
This fixes problems caused by PPA packages included in #78 .

This change is


          Allow Eigen versions of different patch number

e3b4b5f

jlblancoc requested review from chrisbeall and dellaert

June 22, 2019 10:37

Member

dellaert commented Jun 23, 2019

Deferring to @chrisbeall on this and other PR

chrisbeall approved these changes

View reviewed changes

chrisbeall merged commit c6449a8 into develop

chrisbeall deleted the less-strict-eigen-version-check branch

June 24, 2019 14:42

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet