Actions
Task #9766
closedremove 'vhdl.record' Git branch from remote repo
Start date:
07/23/2019
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Published in build:
Description
The branch is merged into master so it should be removed from the repository.
Actions