On Tue, Aug 28, 2018 at 09:16:45AM +0200, David Fabian wrote:
> Hello,
> 
> any news about my patch?

Do you need this? I thought the redefine support already in was enough.

Reply via email to