diff options
| -rw-r--r-- | tool/downloader.rb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tool/downloader.rb b/tool/downloader.rb index 46f8bea96e..3cf98e9655 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -124,6 +124,11 @@ class Downloader options = options.dup url = URI(url) dryrun = options.delete(:dryrun) + + # remove from options (future use, see r66448), see L166 + unicode_beta = options.delete(:unicode_beta) + puts "never" if unicode_beta == 'assigned but unused variable...' + if name file = Pathname.new(under(dir, name)) else |