Version 0.13.12 finalized