armadillo 3.900.1

Released 2013-06-04