(cherry-pick from 1.0) Fix registry colliding by using a different extension for the files used to override registry

This commit is contained in:
Aaron Ruiz Mora
2021-05-06 11:39:19 +01:00
committed by GitHub
parent 499152d23c
commit f258802377
9 changed files with 7 additions and 7 deletions