Skip to content

Conversation

@wkirschenmann
Copy link
Contributor

Need First to merge PR #208

@wkirschenmann wkirschenmann marked this pull request as draft August 25, 2023 09:31
@wkirschenmann
Copy link
Contributor Author

wkirschenmann commented Aug 26, 2023

We decided to use the new API where possible before that.

@wkirschenmann wkirschenmann deleted the WK-Avoid_getResultId branch August 26, 2023 06:54
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