On 08/15/2013 09:00 PM, Hal Finkel wrote: > Tobi, Paul, > > Did anything ever happen with this? Not to my knowledge. However, I had the impression this patch was close to being committed. Paul, can you give an update? Tobias