pushed, thanks!
/haubi/
On 5/29/19 8:51 PM, Sergei Trofimovich wrote:
> On Wed, 29 May 2019 12:01:20 +0200
> Michael Haubenwallner wrote:
>
>> ---
>> eclass/darcs.eclass | 12 ++--
>> 1 file changed, 10 insertions(+), 2 deletions(-)
>>
>> diff --git a/eclass/darcs.eclass b/eclass/darcs.
On Wed, 29 May 2019 12:01:20 +0200
Michael Haubenwallner wrote:
> ---
> eclass/darcs.eclass | 12 ++--
> 1 file changed, 10 insertions(+), 2 deletions(-)
>
> diff --git a/eclass/darcs.eclass b/eclass/darcs.eclass
> index 489008a87f1..09b71882367 100644
> --- a/eclass/darcs.eclass
> +++