amalgame/commit

Merge branch 'master' of github.com:jrvosse/amalgame

authorJacco van Ossenbruggen
Sun Mar 1 13:31:23 2020 +0100
committerJacco van Ossenbruggen
Sun Mar 1 13:31:23 2020 +0100
commitd4569b7b97adec5c3f883295b71b157f5d530579
treefe26a62d2ccc6b06769786f8227f334878850cf8
parentc05ab10937359d4c9f6e25f7db701f09bb486fdc 07cb2deda95dc0a15be27dd97cd41e0c9345f284
Diff style: patch stat