Hi

the webpage also needs to be updated. Anyone wants to take over handling
the webpages or just update the content in git? I can upload to gnu
afterwards.

ARUN

Reply via email to