Closed PalumboN closed 3 years ago
Este PR arregla un bug que había quedado en https://github.com/uqbar-project/wollok/pull/1986
De paso arreglé 2 issues menores, que estaba dejando para la gente nueva, pero la gente nueva no va a venir acá.
Coverage increased (+0.02%) to 83.948% when pulling be66b654aa35e342478f157cbdf079bbfc379b17 on fix-game-position into 43a13f5768c3947c56c4ec1bcb0d0d52885bacdd on dev.
Este PR arregla un bug que había quedado en https://github.com/uqbar-project/wollok/pull/1986
De paso arreglé 2 issues menores, que estaba dejando para la gente nueva, pero la gente nueva no va a venir acá.