Skip to content

Conversation

@timotheecour
Copy link
Contributor

@timotheecour timotheecour commented Feb 11, 2020

@yglukhov followup for #389 after I had to add Typeid in nim-lang/Nim#13305, see nim-lang/Nim#13305 (comment) for context

(CI fails for my nim PR because of this clash)

@yglukhov yglukhov merged commit 3f40e49 into yglukhov:master Feb 11, 2020
@timotheecour timotheecour deleted the pr_fix_getTypeid_Typeid_clash branch February 11, 2020 06:29
@timotheecour
Copy link
Contributor Author

thanks!

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