On 08.09.2021 20:58, Brian Inglis wrote: > I'd like to adopt Yaakov's orphaned packages dejagnu and help2man as new > versions have recently been released. > done Thanks Marco