v1.4.0
ed75d5ba
·
For #5055: Crash when opening bookmarks (#5058)
·
Sep 04, 2019