Merge pull request #975 from nico/docs
authorNico Weber <nicolasweber@gmx.de>
Fri, 19 Jun 2015 00:34:37 +0000 (17:34 -0700)
committerNico Weber <nicolasweber@gmx.de>
Fri, 19 Jun 2015 00:34:37 +0000 (17:34 -0700)
commit2458dc647675215571de173e190671203178743a
tree6bf623c85c983cda7257288cd0339357a656caa8
parentc6117169aa1e4d3fd419c34379bc7d2927e99a58
parentade82bd0b04a3282a538d99b3deaaf790e5bc42d
Merge pull request #975 from nico/docs

Document the change from #921 in the manual.