]> git.huck.website - odot.git/commitdiff
Merge pull request 'devel' (#3) from devel into main
authorHuck Boles <huboles@protonmail.com>
Sat, 26 Nov 2022 20:20:03 +0000 (14:20 -0600)
committerHuck Boles <huboles@protonmail.com>
Sat, 26 Nov 2022 20:20:03 +0000 (14:20 -0600)
Reviewed-on: https://git.huck.website/huboles/odot/pulls/3


Trivial merge