On Sat, Jun 20, 2020 at 12:46:00PM +0200, Antoine Jacoutot wrote:
> Yes.
> Can you add a comment like:
> # -std=gnu11
OK kn with that.

Reply via email to