Merge branch 'omac777-master-patch-47911' into 'master'

Update ch02-05-compiling-redox.md

See merge request !173
1 job for master in 2 minutes and 11 seconds (queued for 3 seconds)