Maybe to merge before the externals which would install only gurobi 11, I suppose
No changes between version 4 and version 4
