Summary of changes: 014f11f... make gdb pretty printers for URE libs usable again (*) 8fa2c6d... Merge remote-tracking branch 'origin/master' into f17 (*) This commit already existed in another branch; no separate mail sent