New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

update armadillo 12 branch #121

Merged

RUrlus merged 2 commits into RUrlus:stable from conradsnicta:patch-1

Apr 11, 2023

Contributor

conradsnicta commented Apr 10, 2023

update armadillo branch from 12.0.x to 12.2.x

conradsnicta added 2 commits

April 10, 2023 15:41


          update armadillo 12 branch

8a5c4f6


          update armadillo 12 branch

11ad069

RUrlus merged commit 2fbc2e6 into RUrlus:stable

Owner

RUrlus commented Apr 11, 2023

Thanks again @conradsnicta

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet