WDT resets on ESP8266 if mgos_gpio_enable_int is not called



I am not sure if it is bug or feature, but on ESP8266 if I call mgos_gpio_set_int_handler(4, MGOS_GPIO_INT_EDGE_ANY, handler, NULL); and not call mgos_gpio_enable_int(4); then after making a pulse on GPIO4 system freezes and WDT is triggered. After that WDT reset it freezes on boot and loops forever: https://pastebin.com/6RdT0txh

To prevent freeze on following boot there is an workaround:

void mgos_app_preinit(void) {

OK, maybe calling mgos_gpio_set_int_handler without mgos_gpio_enable_int has no sense but I think it should not freeze the system.

Should I report it on github?