Merge branch '518-filter-for-distributions' into 'develop'

Resolve "Filter for distributions"

Closes #518

See merge request !662
10 jobs for develop in 7 minutes and 32 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Maintenance
manual Get dump for local environment #106460
allowed to fail manual
 
  Test
passed test:mutation #106464

00:02:45

passed test:php #106462

00:00:14

passed test:typoscript #106461

00:00:11

passed test:unit #106463

00:03:16

14.12%
 
  Build
passed build #106465

00:00:36

 
  Layout
passed layout #106466

00:01:20

 
  Deploy
passed deploy-develop #106467

00:01:40

 
  Badges
passed Create Badge #106468

00:00:32

passed mutation:badge #106469

00:00:35