# HG changeset patch # User Rik # Date 1453333558 28800 # Node ID c1df363732725928e9ebb79d1571bb663678cf07 # Parent 629643522cc088b7c66b12187a96e2be14084a57# Parent ba3c66f4e1cad05a3ca1e92ef056756170f35b85 maint: Periodic merge of stable to default. diff -r 629643522cc0 -r c1df36373272 .hgtags --- a/.hgtags Wed Jan 20 17:53:19 2016 -0500 +++ b/.hgtags Wed Jan 20 15:45:58 2016 -0800 @@ -96,3 +96,5 @@ 42bb3a776c9fcc008669f382d2409297c4a901b3 rc-4-0-0-4 3ccc2d02e64b61c6827009d42e5b12274e7ba5fc release-4-0-0 20b17dda0e0c838646dfdccec153ec8cdf6d3c37 rc-4-0-1-1 +0cfcc178432bfc7cfdef5dca96e74ec5884ba752 rc-4-0-1-2 +a58d5e6df908199c4aea83f78077b81289d2a0ad rc-4-0-1-3 diff -r 629643522cc0 -r c1df36373272 configure.ac diff -r 629643522cc0 -r c1df36373272 scripts/sparse/svds.m