Summary of changes: 03c131f... silence false error detected by valgrind (#968288) (*) 0551bce... new upstream version fixing cache side-channel attack on RS (*) (*) This commit already existed in another branch; no separate mail sent