Update mafiabot_types.ads

This commit is contained in:
2026-07-14 13:35:57 -07:00
committed by GitHub
parent 24ecea1c66
commit bc51b7fb2c