missing credit to Author
authorGood Guy <[email protected]>
Thu, 9 Feb 2023 14:46:54 +0000 (07:46 -0700)
committerGood Guy <[email protected]>
Thu, 9 Feb 2023 14:46:54 +0000 (07:46 -0700)
commit5af9f80ee30218c53a049874706a45fd29240c22
treefc37ff1c59d3844cc471c772713e61134d772d5e
parentd0469cfffd339214f01084824134fadd824760ea
missing credit to Author
parts/AUTHORS.tex