Pushed, thanks for the patch. Andreas 2015-12-07 10:18 GMT+01:00 Burton, Ross <ross.burton at intel.com>: > > On 6 December 2015 at 13:21, Andreas Boll <andreas.boll.dev at gmail.com> > wrote: >> >> Do you need someone to push this for you? > > > I do, yes. Much appreciated! > > Ross