Summary of changes: 5bd82f6... global _hardened_build 1 (*) a8dd5f3... global _hardened_build 1 (*) (*) This commit already existed in another branch; no separate mail sent