You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
pre-push hook: adjust all _three_ locations of the version
When a new version is tagged, we need to take care not only of two
locations, but of three...
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
0 commit comments