Add bumper#32

Closed

felix-andreas wants to merge 4 commits intomasterfrom

Commits on Feb 14, 2020

initial specification of bumper
felix-andreas
committed

Commits on Feb 19, 2020

Merge branch 'master' into bumper
PaulGoslawski
authored

Commits on Apr 23, 2020

Merge branch 'master' into bumper
felix-andreas
authored

Commits on May 26, 2020

Merge branch 'master' into bumper
felix-andreas
authored