Nikolay Petrov
Results
46
comments of
Nikolay Petrov
@KulikovNikita - i would assume we don't need this PR?
@amgrigoriev - guess we don't need this PR and it can be deleted?
@michael-smirnov @rlnx @outoftardis - guess we can close this issue now?
@KulikovNikita - i would assume we don't need this PR?
@makart19 - i assume we don't need this PR?
@makart19 - do we need this PR or it can be removed?
@Mergifyio refresh
@Alexsandruss @maria-Petrova - i guess this have to be merged?
@LyndonFan - yes, sure. Please open PRs with fixes
@trivialfis - are we considering this PR to be integrated prior to release?