This fixes #7430.  The version has been changed to 0.10.2.