-
Zeger-Jan van de Weg authored
Fixes #3339 This MR hides the 'Remove source branch' button when a new commit is added to the source branch
c6e0228c
To find the state of this project's repository at the time of any of these versions, check out
the tags.