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 <piete...@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 <piete...@vanoostrum.org> > www: http://pieter.vanoostrum.org/ > PGP key: [8DAE142BE17999C4]
signature.asc
Description: Message signed with OpenPGP
