Skip to content

Conversation

lerouxb
Copy link
Contributor

@lerouxb lerouxb commented May 12, 2023

Basically the same thing as #1278.

@lerouxb lerouxb marked this pull request as ready for review May 16, 2023 15:24
@addaleax addaleax merged commit fdf7323 into main May 16, 2023
@addaleax addaleax deleted the 7_ppa branch May 16, 2023 21:26
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