trigger CI build also for pull requests against master/develop#6
Merged
laurentheirendt merged 1 commit intodevelopfrom Jan 25, 2021
Merged
trigger CI build also for pull requests against master/develop#6laurentheirendt merged 1 commit intodevelopfrom
laurentheirendt merged 1 commit intodevelopfrom
