Merge pull request #157776 from jyooru/fix/minecraft-servers
minecraft-servers: fix update.py
authored by Bobby Rong and committed by GitHub 4 years ago f8f6b439 abaa4256