Re: Provide and document jit_get_reg/jit_unget_reg/jit_live

[Paulo César Pereira de Andrade]

Em sáb., 3 de abr. de 2021 às 13:47, Marc Nieper-Wißkirchen
<marc.nieper+gnu@gmail.com> 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 
> <marc.nieper+gnu@gmail.com>:
>>
>> 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 savannah.gnu.org systems.

>> Thank you,
>>
>> Marc

Thanks,
Paulo