Merge branch 'rplint' into 'master'

Rplint

See merge request !84
8 jobs for stale_serve
in 1 minute and 15 seconds and was queued for 2 seconds