On Wed, Feb 1, 2017 at 2:19 PM, Riku Voipio wrote: > Can you push the current experimental to git so I can merge the > fix on top of it, or should I just do it myself?
Just pushed now, I had it all staged a while back but forgot to push. Apologies. Best wishes, Mike
