Merge master into dev

• Se mergea master en dev para reparar un error de nombre de variable del gitlab-ci