Derek Buitenhuis <derek.buitenhuis <at> gmail.com> writes: > On 1/3/2016 1:00 PM, Carl Eugen Hoyos wrote: > > Attached patch fixes ticket #4792 for me, please comment. > > Looks OK. Thank you, patch applied. Carl Eugen