upstream/0.8.0
6fa8d5a7 · Upgraded to fresh upstream 0.8.0 ·