Merge branch 'rfhf19-develop-patch-11568' into 'develop'

Update .gitignore

See merge request !80
3 jobs for develop in 1 minute and 50 seconds (queued for 8 seconds)
latest