Hi,

 I find I need to make a small fix to the Haiku build,  but
it's been a while since I pulled from GitHub, and I guess
I should do so before doing the fix and submitting a PR.
I see I was previously pulling from the 'develop' branch,
but now that 6.13 has been released, should I sync with
'master' instead?

Thanks,

	-- Pete --