merge default into branch

--HG--
branch : rpython3-for-merge
1 job for branch/rpython3-for-merge in 7 minutes and 21 seconds (queued for 2 seconds)
latest
Status Name Job ID Coverage
  Test
passed check_rpython_annotations #253253

00:07:21