Skip to content

Update from focal to jammy - #521

Merged
leochr merged 2 commits into
mainfrom
jammy
Jul 24, 2023
Merged

Update from focal to jammy#521
leochr merged 2 commits into
mainfrom
jammy

Conversation

@idlewis

Copy link
Copy Markdown
Member

No description provided.

@CLAassistant

CLAassistant commented Jul 19, 2023

Copy link
Copy Markdown

CLA assistant check
All committers have signed the CLA.

@idlewisidlewis self-assigned this Jul 19, 2023
@idlewis
idlewis requested a review from leochrJuly 19, 2023 10:26
@leochr
leochr merged commit 1dad206 into mainJul 24, 2023
@idlewis
idlewis deleted the jammy branch January 25, 2024 11:59
Sign up for freeto 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.

3 participants

@idlewis@CLAassistant@leochr