Among the pull requests at github are a handful that look as though they
can be resolved more or less at once - there's almost nothing to review,
they need little more than a 'yay' or a 'nay'.
I have in mind that #47, #96 and #108 are in this category.
(Full disclosure: #96 is mine. I wouldn't be overly upset to see it
rejected - and I would prefer that over leaving it dangling indefinitely).
Not that open pull requests seem to bother you, but if you were
interested in cleaning up: I also reckon that #57 could likely be
rejected without too much heartache - proposer seems to have gone quiet
and the new interface that it adds is in any case redundant.
On 23/05/2017 14:45, Daniel Stenberg wrote:
Hi friends!
We've so far had 55 commits done since the 1.12.0 release we did back
in September last year. The time is ripe to ship another one.
I propose we bump it to 1.13.0 for addition of the socket IO
abstraction thingies.
I suggest we mark the calendar to ship it in a few weeks, on June 16,
allowing everyone here to work on and nominate changes/merges we
really should take care of before that.
Opinions? Alternative suggestions?
