merge default into branch

--HG--
branch : py3.7
2 jobs for branch/py3.7 in 8 minutes and 48 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #194579
check_rpython_annotations

00:07:18

passed #194580
hpy_tests

00:08:48