On Sun, Apr 10, 2016 at 6:39 AM, Carl Eugen Hoyos <cehoyos at ag.or.at> wrote: > Hi! > > Attached patch fixes ticket #4862 for me. > Listing only one extension, and a uncommon one at that, seems not ideal. Considering the probing was fixed, maybe we should hold off on this. - Hendrik