upstream/0.7.8
0ebf9e6d · Upgraded to fresh upstream 0.7.8 ·