[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Provide and document jit_get_reg/jit_unget_reg/jit_live

From: Paulo César Pereira de Andrade
Subject: Re: Provide and document jit_get_reg/jit_unget_reg/jit_live
Date: Mon, 5 Apr 2021 11:43:40 -0300

Em sáb., 3 de abr. de 2021 às 13:47, Marc Nieper-Wißkirchen
<> escreveu:
> Dear Paulo,

  Hi Marc,

> I have sent a sequence of patches based on the current git HEAD. Please 
> review them.
> Thanks,
> Marc
> Am Sa., 3. Apr. 2021 um 11:36 Uhr schrieb Marc Nieper-Wißkirchen 
> <>:
>> Dear Paulo,
>> I would like to gently remind you of documenting the above functions in the 
>> manual and to provide them in the public headers.  In earlier threads, you 
>> have given a number of use cases of these functions.
>> Please tell me in case I can help you (for example, by providing a patch).

  I am still waiting to have issues with my account resolved. For the moment
I cannot push commits.

  Last week I opened a ticket. Today I also sent an email to the people
that should maintain systems.

>> Thank you,
>> Marc


reply via email to

[Prev in Thread] Current Thread [Next in Thread]