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.

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

josm: 13500 -> 13576 #38540

Merged
merged 1 commit into from Apr 7, 2018
Merged

josm: 13500 -> 13576 #38540

merged 1 commit into from Apr 7, 2018

Conversation

Moredread
Copy link
Contributor

No description provided.

@Mic92 Mic92 merged commit f8e90cc into NixOS:master Apr 7, 2018
@Mic92
Copy link
Member

Mic92 commented Apr 7, 2018

Should we backport this?

@Moredread
Copy link
Contributor Author

I think we should because it was released before the 18.03 release.

It cherry-picks cleanly on the 18.03 branch.

@Mic92
Copy link
Member

Mic92 commented Apr 13, 2018

[detached HEAD bc0bcf3] josm: 13500 -> 13576
Author: André-Patrick Bubel code@apb.name
Date: Sat Apr 7 08:38:54 2018 +0200
1 file changed, 2 insertions(+), 2 deletions(-)

@Moredread Moredread deleted the josm branch June 26, 2018 19:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants