upstream/0.7.4
86643443 · Upgraded to fresh upstream 0.7.4 ·