[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#34627: [PATCH] gnu: ocaml-menhir: Update to 20181113.
|
From: |
Julien Lepiller |
|
Subject: |
bug#34627: [PATCH] gnu: ocaml-menhir: Update to 20181113. |
|
Date: |
Fri, 3 May 2019 20:48:59 +0200 |
Le Fri, 03 May 2019 20:30:18 +0200,
Gabriel Hondet <address@hidden> a écrit :
> Hi everyone,
>
> I submit back a patch which seems to have been forgotten. It has
> been revised.
>
> Cheers,
>
> Gabriel
Hi, sorry for the delay! it's finally pushed as
187f9636f176d62bf869b787ad410e3a528aa1a0. Thank you!