[vlc/f30] (13 commits) ...Merge branch 'master' into f30

Summary of changes: f4c50d3... Fix typo (*) 55920a2... Avoid files listed twice (*) 0b439d6... Rework with/without options (*) 0909abc... Update changelog (*) 0221cb2... Update to 20190702 (*) a74a946... Update snapshoot (*) 7952744... system-wide cipthers (*) 317cb34... Update changelog (*) ed3fa99... Rebuilt (*) 21f94f1... Update snapshot (*) c6bb283... Rebuild for new ffmpeg version (*) 066f97b... Update to post 3.0.8 (*) c391c26... Merge branch 'master' into f30 (*) This commit already existed in another branch; no separate mail sent