Re: v3.1.x

Hi,

If anyone updated v3.1.x from github earlier today, you'll have to do a force pull to get the head of v3.1.x.

I was wondering what was going on a pull left the source non-compilable... what force pull do you advise? git fetch origin git reset --hard origin/master ? alan