[keel] Cleanup

This commit is contained in:
Gary Talent 2024-10-02 20:54:40 -05:00
parent 0a62d90065
commit cb3ef0e79d