Re: [RFC v3 01/12] Add picosat.h

Luis Chamberlain
2021-10-22T16:58:09Z

On Fri, Oct 22, 2021 at 03:35:45PM +0200, Thorsten Berger wrote:
> PicoSAT is the SAT solver used in this project. This commit contains the
> header file for PicoSAT.

No Signed-off-by tag here. It would be good to specify then also
what version was taken in the commit log, and where the upstream project
lies.

Luis