HEAD is now at da7272e19 VERSION bump to version 3.12.2