Re: [FFmpeg-devel] [PATCH 2/3] doc/developer.texi: document checkasm