DavidMCerdeira
commented
2 months ago That's a good point @josecm ! Even though there's no other problems with it, I'll close the PR @joaopeixoto13 follow @josecm and add this as part of a larger PR
Closed joaopeixoto13 closed 2 months ago
DavidMCerdeira
commented
2 months ago That's a good point @josecm ! Even though there's no other problems with it, I'll close the PR @joaopeixoto13 follow @josecm and add this as part of a larger PR
This PR looks good! However, without other commits it does not make any sense, because nowhere in the hypervisor it is being used for now. I say this commit should be part of the larger PR where it is actually used!