Am Mittwoch, 31. Oktober 2012, 23:23:08 schrieb PaX Team: > iirc, there was some discussion about this at the time that this was not > actually a supported feature in gas (and i'd forgotten why i even thought > it was). So should we drop it from the queue of patches ? Best, JS