commit fc943e77aab891957e0515b48084c4317b50a9a7
Author: Nilesh Patra <npatra974@gmail.com>
Date: Fri Mar 5 11:34:18 2021 +0530
[skip ci] Update email
Among the 3 debian patches available in version 965-2 of the package, we noticed the following issues:
![[bug history graph]](https://qa.debian.org/data/bts/graphs/p/picosat.png){kind=link}