On 6/24/22 18:55, Conrad Hoffmann wrote:
Hello,
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 https://savannah.gnu.org/patch/?10259 - 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 :)
thanks
Lorenzo
--
Prof. Lorenzo Bettini, Computer Science, DISIA, Univ. Firenze
HOME: https://www.lorenzobettini.it
TDD Book: https://leanpub.com/tdd-buildautomation-ci
Xtext Book:
https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend-second-edition
_______________________________________________
Help-source-highlight mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/help-source-highlight
