Skip to content

Fixes #3756, adding the name to the HTML title, if it exists.#3769

Merged
tomchristie merged 1 commit intoencode:masterfrom mlissner:masterDec 23, 2015