applyed Amir's corrections to Merge Request#30

12 jobs for amicorpus in 18 minutes and 23 seconds (queued for 8 seconds)
latest