Merge pull request #19239 from justinchuby:justinchuby-doc-typo-hough-lines
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 31 Dec 2020 10:33:59 +0000 (10:33 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 31 Dec 2020 10:33:59 +0000 (10:33 +0000)

Trivial merge