Closed ylep closed 2 years ago
Thanks @effigies I omitted the PRs for the 2.0.1 release. But I can make a quick 2.0.2 release with this one. Do you have sth else to include?
Anyhow, I will publish v2.0.2 now with this PR merged.
Oh, sorry, missed that. No, I don't have anything else to add. I just happened to be looking through and this looked right.
Thanks @effigies I omitted the PRs for the 2.0.1 release. But I can make a quick 2.0.2 release with this one. Do you have sth else to include?