Skip to content

Conversation

@miss-islington
Copy link
Contributor

@miss-islingtonmiss-islington commented Sep 5, 2023

(cherry picked from commit 1e0d627)

Co-authored-by: Serhiy Storchaka storchaka@gmail.com

…es_resource('walltime') (pythonGH-108480) (cherry picked from commit 1e0d627) Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>
@Yhg1s
Copy link
Member

Yhg1s commented Sep 8, 2023

I think this is now a no-op merge (everything was already merged)?

@Yhg1sYhg1s closed this Sep 13, 2023
@miss-islingtonmiss-islington deleted the backport-1e0d627-3.12 branch September 13, 2023 10:34
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

@miss-islington@Yhg1s@gpshead@bedevere-bot@serhiy-storchaka