v7.7.12
e5d3df1f · release number bumped to 12 by export.pike ·