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
_______________________________________________ Gnustep-dev mailing list Gnustep-dev@gnu.org https://lists.gnu.org/mailman/listinfo/gnustep-dev
