Updates pins to the latest versions of installable packages (!339) · Merge requests · bob / bob.devtools · GitLab

Snippets Groups Projects

Merged André Anjos requested to merge new-pins into master 2 years ago

Activity

André Anjos assigned to @andre.anjos 2 years ago

assigned to @andre.anjos
André Anjos enabled an automatic merge when the pipeline for e9228035 succeeds 2 years ago

enabled an automatic merge when the pipeline for e9228035 succeeds
André Anjos merged 2 years ago

merged
André Anjos mentioned in commit 113959db 2 years ago

mentioned in commit 113959db

Please register or sign in to reply