[gem5-dev] Change in gem5/gem5[develop]: python: Update the gem5 lib downloader 'is_zipped' checker

Bobby R. Bruce has submitted this change. ( https://gem5-review.googlesource.com/c/public/gem5/+/51329 ) Change subject: python: Update the gem5 lib downloader 'is_zipped' checker .. python: Update the gem5 lib downloader

[gem5-dev] Change in gem5/gem5[develop]: python: Update the gem5 lib downloader 'is_zipped' checker

Bobby R. Bruce has uploaded this change for review. ( https://gem5-review.googlesource.com/c/public/gem5/+/51329 ) Change subject: python: Update the gem5 lib downloader 'is_zipped' checker .. python: Update the gem5 lib