Merged Jordy Aaldering requested to merge unused-argument-removal-prelude-fix into develop 1 year ago

Jordy Aaldering @JordyAaldering added bug label 1 year ago

added bug label
Jordy Aaldering @JordyAaldering requested review from @sbs 1 year ago

requested review from @sbs
Jordy Aaldering @JordyAaldering assigned to @JordyAaldering 1 year ago

assigned to @JordyAaldering
Michiel Verloop @MVerloop enabled an automatic merge when the pipeline for d649c864 succeeds 1 year ago

enabled an automatic merge when the pipeline for d649c864 succeeds
Jordy Aaldering @JordyAaldering requested review from @MVerloop and removed review request for @sbs 1 year ago

requested review from @MVerloop and removed review request for @sbs
Michiel Verloop @MVerloop merged 1 year ago

merged
Michiel Verloop @MVerloop mentioned in commit fcd0c821 1 year ago

mentioned in commit fcd0c821
You're only seeing other activity in the feed. To add a comment, switch to one of the following options.

Please register or sign in to reply

Menu