[keel] Cleanup

This commit is contained in:
Gary Talent 2024-10-02 20:54:40 -05:00
parent c81e208f70
commit a79e8e749e