Versión 0.12.3

Cambios menores y bugfixes.