diff hgeditor @ 32794:6f775d10e83b

bookmarks: make sure we close the bookmark file after reading We previously lacked an explicit close of the bookmark file.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Sat, 10 Jun 2017 01:59:22 +0100
parents 1aee2ab0f902
children
line wrap: on
line diff