Sorry about that, the the patch (and some how commit 😢) for cl-portal got deleted and I didn't notice when sending email.
‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐

On Saturday, July 3rd, 2021 at 7:39 AM, Guillaume Le Vaillant <glv@posteo.net> wrote:

> Charles via Guix-patches via guix-patches@gnu.org skribis:
>
> > Just let me know if this is to big of a change for an email or if anything else is wrong with it.
>
> Having many patches attached to an email is not a problem. However all
>
> your patches have the same "0001" prefix, it would be better if the
>
> prefixes had the right number indicating in which order the patches must
>
> be applied (although in this case it was not hard to find out).
>
> I pushed cl-unification, cl-trivial-with-current-source-form, cl-tailrec
>
> and cl-issr-core with a few modifications as
>
> e2e17903fbb726467d74d8da367f51fa0206a12b and following.
>
> However cl-hunchenissr requires the cl-portal package which is
>
> apparently missing from your patches.
>
> Could you send updated patches for cl-portal, cl-hunchenissr and
>
> cl-hunchenissr-routes?