Merge branch 'dev_user_interface' of http://earth.bsc.es/gitlab/es/diagonals...

Merge branch 'dev_user_interface' of http://earth.bsc.es/gitlab/es/diagonals into dev_user_interface
4 jobs for dev_user_interface
in 3 minutes and 21 seconds, using 0 compute credits, and was queued for 5 seconds