Skip to content

Comments

Check for Armadillo made more generic#733

Merged
s3rvac merged 1 commit intomasterfrom
LZ_Armadillo
Apr 8, 2020
Merged

Check for Armadillo made more generic#733
s3rvac merged 1 commit intomasterfrom
LZ_Armadillo

Conversation

@ladislav-zezula
Copy link
Contributor

No description provided.

Copy link
Member

@s3rvac s3rvac left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for the improved detection and regression tests 👍 Merging.

@s3rvac s3rvac merged commit c3b6129 into master Apr 8, 2020
@s3rvac s3rvac deleted the LZ_Armadillo branch April 8, 2020 06:19
s3rvac added a commit that referenced this pull request Apr 9, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants