Merge pull request #123478 from dotlambda/avxsynth-drop
avxsynth: drop
authored by Sandro and committed by GitHub 4 years ago 5cec01f4 1943ac59