Fixes #5459: Update tools even if promises were not repaired

Please delete the commented line - no need to keep trash lying around! :)