tree f23e1cf76078f893ed91c5d36c12f710921ebff0
parent 73167eae6088c87f557101ee677f95fbc8144dcc
parent 3c1a53c32587159aa5341ee6ce2f6c6566411753
author Makarand Bauskar <mbauskar@gmail.com> 1497620765 +0530
committer GitHub <noreply@github.com> 1497620765 +0530

Merge pull request #9337 from mbauskar/develop

[minor] use reload_doc instead of reload_doctype