Upgrade bob with the last version of esperanto#53

Merged

dinosaure merged 1 commit intomainfrom upgrade-esperanto

Dec 22, 2023

+53-34

Commits on Dec 22, 2023

Upgrade bob with the last version of esperanto
dinosaure
committed