amalgame/commit

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

authorJacco van Ossenbruggen
Thu May 5 13:08:22 2022 +0200
committerJacco van Ossenbruggen
Thu May 5 13:08:22 2022 +0200
commit1fa398ba96f35e6df436c95dcdd252ea7ecd537f
treeb4cfac5af676d58f7fedbfe44d6b346bcc29fc60
parent7f055c98b7a215a46cbd5e986b84e3b2e50a5767 f7086c459e98ff44b54e01d373f2359b09264e17
Diff style: patch stat