Version 0.8.12 is done