Resolved tiny bug with wrong file extension and missing underscore

2 jobs for rohlfing-master-patch-40361
Status Job ID Name Coverage
  Build Docker
failed #1394062
build

 
  Test
skipped #1394063
test
 
Name Stage Failure
failed
build Build Docker There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log