diff options
-rwxr-xr-x | tool/merger.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tool/merger.rb b/tool/merger.rb index de122c47fd..9449938332 100755 --- a/tool/merger.rb +++ b/tool/merger.rb @@ -255,5 +255,5 @@ else puts 'commit failed; try again.' end - f.close + f.close(true) end |