Skip to content

make is_configured more rebust#474

Merged
giovanni-guidini merged 1 commit intomainfrom gio/robust-is-configuredMar 28, 2024

Commits

Commits on Mar 28, 2024