Re: Provide and document jit_get_reg/jit_unget_reg/jit_live

[Marc Nieper-Wißkirchen]

Am Mo., 5. Apr. 2021 um 16:43 Uhr schrieb Paulo César Pereira de Andrade <paulo.cesar.pereira.de.andrade@gmail.com>:

 

  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.

That's bad. In general, Savannah seems to work. I can push commits to the repositories where I am a developer.