Summary of changes: f67889f... - Fix the missing CERTDB_TERMINAL_RECORD symbol problem - R (*) 3fe2df4... - Remove reference to obsoleted terminalrecord.patch (*) e8491da... Merge branch 'f16' (*) This commit already existed in another branch; no separate mail sent