Re: [RFC v3 03/12] Add picosat.c (2/3)

Luis Chamberlain
2021-10-22T16:59:39Z

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