Merge pull request #9555 from mpickering/wip/monoids
commitf01e000b92ddf8cf04a175228e0758fafb732a4d
authormergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Sat, 13 Jan 2024 22:03:55 +0000 (13 22:03 +0000)
committerGitHub <noreply@github.com>
Sat, 13 Jan 2024 22:03:55 +0000 (13 22:03 +0000)
tree0c326d894c64994ddf0edb89dbf1ebdae3085391
parent973b6ed108a9c90daf40e7403df7ab0975f305ea
parent54183f2353dfa730d86e1503abc792f49f85c586
Merge pull request #9555 from mpickering/wip/monoids

Fix Monoid instances for ForeignLib & Executable