Merge pull request

[Kirill A. Korinsky]

Thanks Pieter for this follow up.

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:
 - https://github.com/macports/macports-ports/pull/16496 <https://github.com/macports/macports-ports/pull/16496>
 - https://github.com/macports/macports-ports/pull/16495 <https://github.com/macports/macports-ports/pull/16495>

The goal here is bring an integration of fricas to jupyter at MacPorts.

Thanks.

--
wbr, Kirill

> On 7. Nov 2022, at 14:32, Pieter van Oostrum <pieter-l at vanoostrum.org> wrote:
> 
> Please could someone merge pull
> request https://github.com/macports/macports-ports/pull/16494 ?
> It seems to have escaped attention from the people that have write access.
> 
> with kind regards,
> Pieter van Oostrum
> --
> Pieter van Oostrum <pieter-l at vanoostrum.org>
> www: http://pieter.vanoostrum.org/
> PGP key: [8DAE142BE17999C4]

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-dev/attachments/20221107/54892504/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: Message signed with OpenPGP
URL: <http://lists.macports.org/pipermail/macports-dev/attachments/20221107/54892504/attachment.sig>