[Top][All Lists]

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

Re: [Help-source-highlight] [PATCH] Add support for Hare

From: Lorenzo Bettini
Subject: Re: [Help-source-highlight] [PATCH] Add support for Hare
Date: Mon, 27 Jun 2022 08:51:56 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.10.0

On 6/24/22 18:55, Conrad Hoffmann wrote:


On 6/24/22 10:52, Lorenzo Bettini wrote:
Yes, non-members require moderator approval

Thanks for getting back, should have figured. Sorry for the dupe :)

No problem

Thanks for the contribution but it would be better if you submit the patch directly through the savannah web interface

Submitted - I hope I did it right, I find the web interface a little confusing. Since you specify subject and description separately I only added a plain diff, is that correct? Or should I attach something that works with `git am`?

I think that's fine, but I'm not the maintainer anymore; in case, the new maintainer will get back to you :)


Prof. Lorenzo Bettini, Computer Science, DISIA, Univ. Firenze
TDD Book:
Xtext Book:

reply via email to

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