fix error that happens after the GUI is freed #20

Merged
cromer merged 1 commits from feature/fix_gui_error into develop 2022-07-23 13:28:06 -04:00
Owner
No description provided.
cromer added 1 commit 2022-07-23 13:27:58 -04:00
cromer merged commit 5c4106246c into develop 2022-07-23 13:28:06 -04:00
cromer deleted branch feature/fix_gui_error 2022-07-23 13:28:09 -04:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Proyecto-Titulo/alai#20
No description provided.