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

#143: fixed fatal update bug #144

Merged
merged 3 commits into from
Jul 19, 2019
Merged

#143: fixed fatal update bug #144

merged 3 commits into from
Jul 19, 2019

Conversation

hohwille
Copy link
Member

fixes:

@hohwille hohwille added bug Something isn't working scripts related to shell scripts (bash and CMD) labels Jul 19, 2019
@hohwille hohwille added this to the release:3.0.0 milestone Jul 19, 2019
@hohwille hohwille changed the title Feature/misc #143: fixed fatal update bug Jul 19, 2019
@hohwille hohwille merged commit e52128d into devonfw:master Jul 19, 2019
@hohwille hohwille deleted the feature/misc branch July 19, 2019 12:50
@hohwille hohwille mentioned this pull request Jul 19, 2019
Closed
@hohwille hohwille mentioned this pull request Jul 29, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
bug Something isn't working scripts related to shell scripts (bash and CMD)
Projects
None yet
Milestone
release:3.2.0
Development

Successfully merging this pull request may close these issues.
1 participant
@hohwille