Skip to content
This repository has been archived by the owner on May 9, 2018. It is now read-only.

Pull request #43

Closed
wants to merge 4 commits into from
Closed

Pull request #43

wants to merge 4 commits into from

Conversation

andreacremaschi
Copy link

Hi incanus, here are two commits you could find of some use:

@incanus incanus closed this in 06d01a6 Jun 21, 2012
@andreacremaschi
Copy link
Author

@incanus: none of the issues addressed in my pull request is fixed in your commit! A mistake in the fix ref?

@trasch
Copy link
Contributor

trasch commented Jun 28, 2012

Could it be that this issue was closed because the commit message mentions a fix for an issue in the Alpstein branch? That would be a GitHub bug then...

This has been fixed upstream btw.

@incanus
Copy link
Contributor

incanus commented Jun 28, 2012

Yeah, looks like a GitHub bug. I'll reopen. BTW I'm pulling down Alpstein upstream as of yesterday's 9bc4755, which should be integrated into our develop shortly (already visible on develop-refactor -- taking quite a while to solidify :-)

@incanus incanus reopened this Jun 28, 2012
@incanus
Copy link
Contributor

incanus commented Jun 28, 2012

These were absorbed via upstream (Alpstein) merges today into develop-refactor. Care to try them out @andreacremaschi?

@andreacremaschi
Copy link
Author

confirmed working!

@incanus incanus closed this Jun 29, 2012
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants