tree b48be666cf14d24eb1f53b19704561f56d56455c
parent 717b7b4a31db6027207588c0fb89c3ead384747b
author Nico Weber <thakis@chromium.org> 1478574142 -0500
committer Nico Weber <thakis@chromium.org> 1478574142 -0500

forgot to bump version in manual for 1.7.2 release