Oh, so that version is also using a version range... great...
Thank you for notifying me, and for the PR. Looks like I'll have to make an earlier 0.9 release than planned, and postpone the rest for 0.10.
I'll merge this and see if I can add a couple of quick changes, while I'm at it, an then release. I'm slightly busy today, and especially busy tomorrow, so it may just be this if I feel like I don't have time.
Oh, and for the future, I would appreciate it if you add the motivation in the top comment of the PR, rather than in one of the commits. It makes it easier to find. This one is trivial, though, so there's no need to change it.
Oh, so that version is also using a version range... great...
Thank you for notifying me, and for the PR. Looks like I'll have to make an earlier 0.9 release than planned, and postpone the rest for 0.10.
I'll merge this and see if I can add a couple of quick changes, while I'm at it, an then release. I'm slightly busy today, and especially busy tomorrow, so it may just be this if I feel like I don't have time.
Oh, and for the future, I would appreciate it if you add the motivation in the top comment of the PR, rather than in one of the commits. It makes it easier to find. This one is trivial, though, so there's no need to change it.
@homu r+