Merge pull request #478 from figsoda/ci0.4.2
commit83581c383fb98d60ef53ea5418d446d28a2dd2a4
authorfigsoda <figsoda@pm.me>
Mon, 7 Aug 2023 16:02:39 +0000 (7 12:02 -0400)
committerGitHub <noreply@github.com>
Mon, 7 Aug 2023 16:02:39 +0000 (7 12:02 -0400)
tree86b4e3bdc73b2ba7182d3c1ddd3980b9a3698f7b
parentf3ae2514e15d0a8eb1a6966ec648d35e6f4986d0
parent8937362d9b4ff7aa5d2483fff0a3268a5760b244
Merge pull request #478 from figsoda/ci