Merge remote-tracking branch 'Fernando/devel' into devel
Merge remote-tracking branch 'antonio/dorito' into devel
Merge remote-tracking branch 'Manuel/devel' into devel