Closes #93 (closed) and #58 (closed)
Pipeline #32538 passed
Pipeline passed for ad22da47 on fix-profile-update-error 4 years ago
Merge details
Closed #58 (closed) and #93 (closed)
Pipeline #32539 passed
Pipeline passed for ed21789e on master 4 years ago
enabled an automatic merge when the pipeline for ad22da47 succeeds
mentioned in commit ed21789e
merged