Skip to content
This repository has been archived by the owner on Sep 27, 2023. It is now read-only.

Fix branch name #873

Merged
merged 2 commits into from
Mar 31, 2021
Merged

Fix branch name #873

merged 2 commits into from
Mar 31, 2021

Conversation

dchassin
Copy link
Member

This PR fixes issue #829

Current issues

None

Code changes

  • Fix build-aux/version.sh and utilities/build_number

Documentation changes

None

Test and Validation Notes

None

@dchassin dchassin requested a review from aivanova5 March 31, 2021 19:24
@dchassin dchassin linked an issue Mar 31, 2021 that may be closed by this pull request
@dchassin dchassin added the bug Request a fix or change to the code label Mar 31, 2021
@aivanova5 aivanova5 merged commit 345d33e into develop Mar 31, 2021
@aivanova5 aivanova5 deleted the develop-fix-branchname branch March 31, 2021 20:43
@aivanova5 aivanova5 mentioned this pull request Apr 2, 2021
10 tasks
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Request a fix or change to the code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Slashes on branch names cause incorrect build names
2 participants