This repository has been archived by the owner on Dec 11, 2019. It is now read-only.
Fixes Other bookmarks not being usable#10610
Merged
cezaraugusto merged 1 commit intobrave:masterfrom NejcZdovc:hotfix/#10157-otherBookmarksSep 28, 2017
+16-11
