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

Windows: remove RXVT shell support #3406

Merged
merged 1 commit into from
Apr 14, 2019
Merged

Windows: remove RXVT shell support #3406

merged 1 commit into from
Apr 14, 2019

Conversation

olexandr-konovalov
Copy link
Member

Closes #3339.

@olexandr-konovalov olexandr-konovalov added the os: windows Issues and PRs that are (at least partially) specific to Windows label Apr 13, 2019
@olexandr-konovalov olexandr-konovalov added this to the GAP 4.11 milestone Apr 13, 2019
@olexandr-konovalov olexandr-konovalov changed the title Remove RXVT shell support Windows: remove RXVT shell support Apr 13, 2019
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.0006%) to 85.208% when pulling 936660f on alex-konovalov:remove-rxvt into e787b8c on gap-system:master.

@fingolfin fingolfin added the release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes label Apr 14, 2019
@olexandr-konovalov olexandr-konovalov merged commit 65993f6 into gap-system:master Apr 14, 2019
@olexandr-konovalov olexandr-konovalov deleted the remove-rxvt branch April 14, 2019 16:32
@DominikBernhardt DominikBernhardt added release notes: added PRs introducing changes that have since been mentioned in the release notes and removed release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes labels Aug 21, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fingolfin fingolfin fingolfin approved these changes

@wilfwilson wilfwilson wilfwilson approved these changes

Assignees
No one assigned
Labels
os: windows Issues and PRs that are (at least partially) specific to Windows release notes: added PRs introducing changes that have since been mentioned in the release notes
Projects
None yet
Milestone
GAP 4.11.0
Development

Successfully merging this pull request may close these issues.

Windows: removing RXVT shell support
5 participants
@olexandr-konovalov @coveralls @fingolfin @wilfwilson @DominikBernhardt