log dev/patch/patch.sh @ 108:a28d255e51a5

age author description
Sat, 09 Mar 2019 15:26:18 +0100 David Demelier dev/patch: initial import, closes #1039