> OK with the documentation change and with the re-named option. Please
> also update the name in the code.

changes made and committed as r214311

Reply via email to