Hi Thomas, On 21/04/20 16:38, Thomas Koenig wrote:
Do you have commit privileges? It not, I can commit it for you.
No i do not. I would be grateful if you could. Best regards, José Rui
José Rui Faustino de Sousa via Gcc-patches Wed, 22 Apr 2020 08:53:17 -0700
Hi Thomas, On 21/04/20 16:38, Thomas Koenig wrote:
Do you have commit privileges? It not, I can commit it for you.
No i do not. I would be grateful if you could. Best regards, José Rui