Skip to content

Conversation

@hoechenberger
Copy link
Member

Factored out from #10242 to make life easier for @GuillaumeFavelier

@hoechenberger hoechenberger force-pushed the widgets-label-selectable branch from 2d656bf to 79f8098 Compare January 25, 2022 18:33
Copy link
Contributor

@GuillaumeFavelier GuillaumeFavelier left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM @hoechenberger, thanks for extracting the PR 👌

@hoechenberger
Copy link
Member Author

de rien !

@hoechenberger hoechenberger merged commit 53878ce into mne-tools:main Jan 25, 2022
@hoechenberger hoechenberger deleted the widgets-label-selectable branch January 25, 2022 19:19
Sign up for free to 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.

2 participants