Skip to content

Conversation

@scop
Copy link
Contributor

@scop scop commented Dec 20, 2023

No description provided.

@scop
Copy link
Contributor Author

scop commented Dec 20, 2023

@rubenv I've had #245 waiting for quite a while, this is a prerequisite for it (it provoked some unrelated linter warnings that I can tell). Could you have a look at this so I could rebase that one and we could nudge it forward?

@rubenv rubenv merged commit 4c7bdce into rubenv:master Jan 8, 2024
@rubenv
Copy link
Owner

rubenv commented Jan 8, 2024

Merged, thanks! Sorry for the delay.

@scop scop deleted the chore/linting-update branch February 2, 2024 07:25
@scop
Copy link
Contributor Author

scop commented Feb 2, 2024

Thanks! #245 refreshed accordingly.

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