
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto">nb - fixed here Oct 6:<div></div><div><br></div><div><<a href="https://github.com/freedesktop/poppler/commit/d03f5ab76b0d0dee199b65fc801236a38830b5fc">https://github.com/freedesktop/poppler/commit/d03f5ab76b0d0dee199b65fc801236a38830b5fc</a>></div></body></html>