comparison NEWS @ 2:ad2fc4ec99fb

fix missing "patch" command-line tool in Docker
author Sebastien Jodogne <s.jodogne@gmail.com>
date Wed, 22 Mar 2023 11:51:32 +0100
parents 3f1cf4a8e31f
children 111b7f10cf4d
comparison
equal deleted inserted replaced
1:3518c3c41b30 2:ad2fc4ec99fb