Summary of changes:
ccfb34c... 0.157 update, date 2019-07-17 (stable branch) (*)
143f9e9... Rebuild for new ffmpeg version (*)
4178b9c... Drop hack for armv7hl libraries (*)
c8b97a7... Update changelog (*)
(*) This commit already existed in another branch; no separate mail sent