Merge branch 'make_PLs_less_annoying' into 'master'

Add optional addMissing argument to PL set

See merge request futility/Futility!340
1 job for master in 1 minute and 58 seconds (queued for 1 minute and 19 seconds)
Status Job ID Name Coverage
  Test
passed release #997517
linux

00:01:58