

<HTML><BODY><div>Hi again!</div><div>I noticed that the PR link is wrong. Here[1] is the right one.</div><div>[1]:<a href="https://github.com/tarantool/tarantool/pull/7588">https://github.com/tarantool/tarantool/pull/7588</a></div><div> </div><div data-signature-widget="container"><div data-signature-widget="content"><div>--<br>Best regards,</div><div>Maxim Kokryashkin</div></div></div><div> </div><div> </div><blockquote style="border-left:1px solid #0857A6; margin:10px; padding:0 0 0 10px;">Среда, 16 ноября 2022, 13:52 +03:00 от Maxim Kokryashkin via Tarantool-patches <tarantool-patches@dev.tarantool.org>:<br> <div id=""><div class="js-helper js-readmsg-msg"><div><div id="style_16685959491965619945_BODY"><div class="cl_706598"><div>Hi, Sergos!</div><div>Thanks for the review!</div><div> </div><blockquote style="border-left:1px solid #0857A6;margin:10px;padding:0 0 0 10px;"><div id=""><div class="js-helper_mr_css_attr js-readmsg-msg_mr_css_attr"><div id="style_16679982572048087610_BODY_mr_css_attr"><div class="cl_608907_mr_css_attr"><div> </div><div>I believe it should bear a ‘cherry picked from’ label, isn’t it?</div><div> </div></div></div></div></div></blockquote><div>Fixed. Branch is force-pushed.</div><div><div>--<br>Best regards,</div><div>Maxim Kokryashkin</div></div><div> </div></div></div></div></div></div></blockquote><div> </div></BODY></HTML>