Fix typo
Pipeline #507 failed
Pipeline failed for 26068753 on atypo 5 years ago
added prio::3 label
changed title from Atypo to Fix a typo
assigned to @nik
merged
mentioned in commit e8a5775d