Re: batcave01 move to rhel9 - 2023-07-13 21UTC

[Aurelien Bompard]

> This is now done and I think everything is working.

Congrats!