Summary of changes: 1ae81e5... 2.23-0.7: remove unused patches (*) 506ce79... 2.23-1: upgrade 2.23-rc2 -> 2.23 (*) d2b0e41... Merge branch 'master' into f19 (*) This commit already existed in another branch; no separate mail sent