Yes, I was aware of that "fix". And it's already merged.
But it does not work.
Google Camera 30fps video still crashes.
I was just letting him know the fix he was told about does not work.
The fix being to remove FFMPEG from /system/etc/media_codecs.
I even tried deleting the media_FFMPG file and duplicating at /system_root/etc/.
Yah, in the post of yours that I quoted it wasn't obvious that you had already tested it and as far as I know it's not actually merged yet anyways (unless he cherry picked it). But I did test it myself and, you are correct, it doesn't work.