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.
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.