Skip to content

Conversation

@jangorecki
Copy link
Member

It is the same what #5719 but this one merges to master

@jangorecki jangorecki linked an issue Nov 3, 2023 that may be closed by this pull request
@jangorecki
Copy link
Member Author

We may first want to merge #5690 then test change here and merge

@jangorecki jangorecki merged commit 94e8fbe into master Nov 5, 2023
@jangorecki jangorecki deleted the update_dev_pkg_gh_master branch November 5, 2023 00:58
jangorecki added a commit that referenced this pull request Nov 25, 2023
jangorecki added a commit that referenced this pull request Nov 25, 2023
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.

update_dev_pkg not serving recent dev pkg anymore

2 participants