Re: Github mirror pointing at wrong branch

[Justin Mclean]

Hi,

Change that to master is 6 month behind with a minor update (for 4.9.1) 3 
months ago.

Justin