Guys, next branch in ktuo has diverged from master. I think is time to either delete that branch or rebase it on master (It seems it's lagging behind, so a simple reset to master should be enough).
It's not a big deal, but I almost went crazy today with a plethora of problems syncing with github and that misled me a bit. Best -- Samuel -- You received this message because you are subscribed to the Google Groups "erlware-dev" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/erlware-dev?hl=en.
