I looked at the PR and I think the code is fine.
Yury
On Thu, Jan 25, 2018 at 4:39 PM, Victor Stinner
wrote:
> Hi,
>
> If nobody is available to review your PR, I suggest to push it anyway,
> to get it merged before the feature freeze. The code can be reviewed
> later. Merging it sooner gives mo
Hi,
If nobody is available to review your PR, I suggest to push it anyway,
to get it merged before the feature freeze. The code can be reviewed
later. Merging it sooner gives more time to test it and spot bugs. It
also gives more time to fix bugs ;-) Well, at the end, it's up to you.
Victor
2018