v1.17.0
7b0ef1e2 · Undo last change which was just wrong and change PHP default to 7.3 ·