Hi,
I've pushed a small history correction in libs-gui, eliminating an accidental merge.
As you usually would, do one of the following:
- git fetch && git checkout refs/remotes/origin/master && git cherry-pick YOUR-COMMIT-HASH-A && git cherry-pick YOUR-COMMIT-HASH-B && ( git rev-parse HEAD > .git/refs/heads/master)
- current refs/remotes/origin/master is d078c703a464736a1b8c2294fda0fabd718c8423
- git format-patch your contributions, clone a new copy from github (optionally fetching replacerefs as discussed in a previous email), then git apply the patches