Summary of changes: 5fa6217... Don't use --enable-pie configure option as it has been remo (*) 4816e65... Don't use --enable-pie configure option as it has been remo (*) ac9a4ac... Merge branch 'f13' into f14 (*) 852d6ef... Merge branch 'f14' (*) This commit already existed in another branch; no separate mail sent