Update infra JSONs

This commit is contained in:
Davide De Rosa 2019-03-04 18:49:39 +01:00
parent c5c670b086
commit 09fee51c8b
2 changed files with 2 additions and 1 deletions

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long