Skip to content

Conversation

@Araq
Copy link
Member

@Araq Araq commented Apr 16, 2021

No description provided.

@Araq Araq merged commit 957478c into devel Apr 16, 2021
@Araq Araq deleted the araq-no-nimfind branch April 16, 2021 13:23
@ringabout
Copy link
Member

changelog?

@timotheecour
Copy link
Member

see also #17706 (comment)

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.

4 participants