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

Additional fixes and improvements #22

Closed
wants to merge 1 commit into from
Closed

Additional fixes and improvements #22

wants to merge 1 commit into from

Conversation

zgornel
Copy link
Contributor

@zgornel zgornel commented Jun 1, 2018 •
edited
Loading

Fixes #16, #19, #20
The branch needs to be rebased on master after the merging #21

@lsorber
Copy link
Member

lsorber commented Jun 1, 2018

Merged #21, please rebase so the actual changes w.r.t. master are clear (you can skip the Re-added @ls upgrades commit with an interactive rebase -i, since that commit does not need to be applied).

@zgornel zgornel force-pushed the cc-other-fixes branch 2 times, most recently from b6003d9 to 17609d3 Compare June 6, 2018 13:22
@lsorber
Copy link
Member

lsorber commented Oct 20, 2018

Superseded by #33.

@lsorber lsorber closed this Oct 20, 2018
@lsorber lsorber deleted the cc-other-fixes branch October 20, 2018 10:27
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
do not merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@zgornel @lsorber