[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 00/13] Better error messages

From: Akim Demaille
Subject: Re: [PATCH 00/13] Better error messages
Date: Mon, 20 Jan 2020 06:47:13 +0100

> Le 18 janv. 2020 à 16:39, Akim Demaille <address@hidden> a écrit :
> This series of patches builds on top of the previous one
> (  It
> brings the following features with parse.error=custom or detailed
> (which I prefer to my previous proposal, 'rich').

Pushed to master.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]