diff setup.py @ 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 d73ccc63b8f9
children 854a7315603e
line wrap: on
line diff