This typo was originally in the WebLab API, but it has been fixed there.
Pipeline #315097 passed
Pipeline passed for 4ebb65ae on fix-config-typo Apr 28, 2020
Merge details
Pipeline #315144 passed
Pipeline passed for 4d7c9ac8 on master Apr 29, 2020
merged
mentioned in commit 4d7c9ac8