Re: Please enable CI for herdtools7

On 2026-02-26 22:42:44 [+0100], To [email protected] wrote:
> someone please enable it?


Thank you Stéphane. I managed to subscribe to the list in the meantime
;)
 
Sebastian

Reply via email to