kaocha

plexus 2022-09-01T07:44:26.957929Z

Thanks @frank, I've merged your PR and released a new deep-diff2. I appreciate the dilligence, but it's really not necessary to open multiple issues plus a PR for something that is a one-line change, a single PR on the deep-diff repo would have been fine. It's also not necessary to poke maintainers here, unless it's been a few weeks and you're worried something may have slipped through the cracks. All issues/PRs end up in our inbox already, so usually we get to them eventually.

👍 1
frank 2022-09-01T14:01:19.733459Z

Ah OK, good to know. I'll avoid spamming here in the future.