Significance: patch
Type: dev
Comment: Just fixing a lock file after a tool was removed.