On Fri, Oct 22, 2021 at 03:38:07PM +0200, Thorsten Berger wrote: > The second part of picosat.c No SOB tag here, please add a SOB tag to each and every patch you submit. Luis
On Fri, Oct 22, 2021 at 03:38:07PM +0200, Thorsten Berger wrote: > The second part of picosat.c No SOB tag here, please add a SOB tag to each and every patch you submit. Luis