Skip to content

Conversation

webmaster128
Copy link
Member

Closes #810

Thanks a lot for your contribution @RiccardoM. You might want tohave a look at the 4 additional commits which solve some of the problems you detected in a slightly different fashion.

@webmaster128 webmaster128 added this to the 0.26.0 milestone May 27, 2021
@webmaster128 webmaster128 merged commit 9767c22 into main May 27, 2021
@webmaster128 webmaster128 deleted the add-block-search-simon branch May 27, 2021 16:06
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