Fork me on GitHub
#kaocha
<
2022-09-01
>
plexus07:09:26

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
frank14:09:19

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