just using the pull request as a way of notifying you that this guy has changes based off my changes. i merged his pull request before noticing that nikita had pulled in mine. since github's web interface does non-fast-forward merge you'll have to do a little more than just a straight merge. sorry, i'm new to github's pull request handling.
https://github.com/rbmj/ucpp
just using the pull request as a way of notifying you that this guy has changes based off my changes. i merged his pull request before noticing that nikita had pulled in mine. since github's web interface does non-fast-forward merge you'll have to do a little more than just a straight merge. sorry, i'm new to github's pull request handling.