I believe there is a fixed group of stewards for each F1 season. What changes is the group that travels to the race and makes calls relating to racing incidents. For a technical issue like this perhaps they are all involved in the decision process? Not sure about that part.
https://sidepodcast.com/f1-stewards