[dist] Version bump. 0.13.9