<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Thanks Pieter for this follow up.<div class=""><br class=""></div><div class="">Meanwhile, I'd like to point that I have a few more missed PRs which I'd like to ask someone with write access to merge:</div><div class=""> - <a href="https://github.com/macports/macports-ports/pull/16496" class="">https://github.com/macports/macports-ports/pull/16496</a></div><div class=""> - <a href="https://github.com/macports/macports-ports/pull/16495" class="">https://github.com/macports/macports-ports/pull/16495</a></div><div class=""><br class=""></div><div class="">The goal here is bring an integration of fricas to jupyter at MacPorts.</div><div class=""><br class=""></div><div class="">Thanks.</div><div class=""><br class=""><div class="">
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">-- <br class="">wbr, Kirill</div>
</div>
<div><br class=""><blockquote type="cite" class=""><div class="">On 7. Nov 2022, at 14:32, Pieter van Oostrum <<a href="mailto:pieter-l@vanoostrum.org" class="">pieter-l@vanoostrum.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Please could someone merge pull <br class="">request <a href="https://github.com/macports/macports-ports/pull/16494" class="">https://github.com/macports/macports-ports/pull/16494</a> ?<br class="">It seems to have escaped attention from the people that have write access.<br class=""><br class="">with kind regards,<br class="">Pieter van Oostrum<br class="">-- <br class="">Pieter van Oostrum <<a href="mailto:pieter-l@vanoostrum.org" class="">pieter-l@vanoostrum.org</a>><br class="">www: <a href="http://pieter.vanoostrum.org/" class="">http://pieter.vanoostrum.org/</a><br class="">PGP key: [8DAE142BE17999C4]<br class=""></div></div></blockquote></div><br class=""></div></body></html>