It would be good to get rid of old versions in the tree, 9.12.3 is definitely better. No bugs for > 1 month.
Tested on x86: This version passes its tests (unlike the current stable). Various useflags tested.
stable x86, thanks Thomas
amd64 stable, closing