comparison hgeditor @ 35655:2f54a3e228ff

bookmark: run 'pushkey' hooks after bookmark move, not 'prepushkey' This was a silly copy paste mistake. Spotted by Mitchell Plamann from Jane Street.
author Boris Feld <boris.feld@octobus.net>
date Mon, 15 Jan 2018 10:44:49 +0000
parents 1aee2ab0f902
children
comparison
equal deleted inserted replaced
35654:59c842a3d1e1 35655:2f54a3e228ff