Merge branch 'master' into gigablast

This commit is contained in:
Markus Heiser 2020-06-01 06:23:45 +00:00 committed by GitHub
commit 74135007eb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
12 changed files with 57 additions and 19 deletions

View file

@ -55,6 +55,7 @@ engine_default_args = {'paging': False,
'continuous_errors': 0,
'time_range_support': False,
'offline': False,
'display_error_messages': True,
'tokens': []}