Closed fdodino closed 3 years ago
See #1928
Coverage remained the same at 86.195% when pulling 1dc438a0d7484e6744f3e826cf9a2d4cd4b078c6 on fix-#1928-console-REPL-outdated-only-when-activated into 3b013f285674c75e88930743c59bdf415a9dacac on dev.
Dejé un comentario en el issue de otro problema (o el mismo creo) relacionado.
See #1928