v0.6.140
7e5347d6 · Merge 'heads/0.6': release number bumped to 140 by export.pike ·