Skip to content

Merge pull request #599 from gmlueck/gmlueck/generalize-synopsis-role #871

Merge pull request #599 from gmlueck/gmlueck/generalize-synopsis-role

Merge pull request #599 from gmlueck/gmlueck/generalize-synopsis-role #871