Skip to content

Conversation

@ben-grande
Copy link
Contributor

@rapenne-s rapenne-s merged commit 7d73eff into QubesOS:main Dec 10, 2025
1 check passed
@ben-grande
Copy link
Contributor Author

ben-grande commented Dec 10, 2025 via email

@rapenne-s
Copy link
Contributor

So, I was not very explicit. This PR only makes sense after QubesOS/qubes-core-admin#758 is merged. I will try to be more explicit next time. Normally I add a "Requires:" key for the maintainers to await it to complete. I guess it doesn't need to be reverted because it is just developer's documentation anyway.

Ah, thanks for heads up, I didn't understand there was a dependency here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants