12237 rename migration

This commit is contained in:
Arthur 2023-06-22 11:16:59 -07:00
parent 2091fef53b
commit f095866fd4