6533d8
Update armadillo to version 10.8.0 / rev 158 via SR 946354 https://build.opensuse.org/request/show/946354 by user badshah400 + dimstar_suse