comparison contrib/vagrant/Vagrantfile @ 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 a31ffc445f02
children 7fd16ddabaa0
comparison
equal deleted inserted replaced
35654:59c842a3d1e1 35655:2f54a3e228ff