Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

executable name in release description and UPGRADE.md #1233

Closed
eroux opened this issue Sep 27, 2016 · 3 comments
Closed

executable name in release description and UPGRADE.md #1233

eroux opened this issue Sep 27, 2016 · 3 comments
Labels
documentation
Milestone
4.2

Comments

@eroux
Copy link
Contributor

eroux commented Sep 27, 2016

release description and UPGRADE.md state that the executable file name is gregorio-4.2.0 while it's gregorio-4_2_0. (reported by Akira Kakuto)
@henryso
Copy link
Contributor

henryso commented Sep 27, 2016

Would it be permissible to re-release 4.2.0 with just the documentation correction? If so, I think we should do that.

@eroux
Copy link
Contributor Author

eroux commented Sep 27, 2016

yes definitely

@henryso henryso added this to the 4.2 milestone Sep 27, 2016
henryso added a commit to henryso/gregorio that referenced this issue Sep 27, 2016
@henryso
Corrected the executable filename.
01bc812 
Fixes gregorio-project#1233.
@henryso henryso mentioned this issue Sep 27, 2016
Merged
@henryso
Copy link
Contributor

henryso commented Sep 27, 2016

@rpspringuel This is ready for 4.2.0 to be re-released.

@henryso henryso mentioned this issue Oct 5, 2016
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation
Projects
None yet
Milestone
4.2
Development

No branches or pull requests
2 participants
@eroux @henryso