chore: update provider-db (#4949)

This commit is contained in:
bjoern
2023-11-07 02:12:31 +01:00
committed by GitHub
parent 9adf856705
commit bff4a2259f
2 changed files with 134 additions and 2 deletions

View File

@@ -6,7 +6,7 @@ set -euo pipefail
export TZ=UTC
# Provider database revision.
REV=3c8f7e846c915a183dc44536fb5480d1f25d7c42
REV=18f714cf73d0bdfb8b013fa344494ab80c92b477
CORE_ROOT="$PWD"
TMP="$(mktemp -d)"