Temporary fix to issue #70 (!206) · Merge requests · bob / bob.devtools · GitLab

Snippets Groups Projects

Merged André Anjos requested to merge issue-70 into master 4 years ago

Activity

André Anjos canceled the automatic merge 4 years ago

canceled the automatic merge
André Anjos added 1 commit 4 years ago
added 1 commit

f9895d78 - [build] Temporary changes to address #70 (closed)

Compare with previous version
André Anjos enabled an automatic merge when the pipeline for f9895d78 succeeds 4 years ago

enabled an automatic merge when the pipeline for f9895d78 succeeds
André Anjos merged 4 years ago

merged
André Anjos mentioned in commit f372eb86 4 years ago

mentioned in commit f372eb86

Please register or sign in to reply