b0ef8e
Update armadillo to version 12.0.1 / rev 173 via SR 1071970 https://build.opensuse.org/request/show/1071970 by user dirkmueller + dimstar_suse