Commit b5d5bd22 authored by Marco Clemencic's avatar Marco Clemencic

Merge branch 'typo-20200613' into 'master'

Fix trivial typo in message.

See merge request gaudi/Gaudi!1087
parents fdd53511 a665d8a5
Pipeline #1712603 passed with stages
in 15 minutes and 57 seconds