Merge pull request #4211 from annando/develop
authorHypolite Petovan <mrpetovan@gmail.com>
Thu, 11 Jan 2018 22:51:10 +0000 (17:51 -0500)
committerGitHub <noreply@github.com>
Thu, 11 Jan 2018 22:51:10 +0000 (17:51 -0500)
bookmark elements weren't always parsed correctly


Trivial merge