On 7/14/2021 8:05 PM, Nicolas George wrote: > Therefore, the information we need now to debug is what the logs of > ffbox0-bg.mplayerhq.hu contains immediately after 20 Feb 2021 11:47:04 > -0800. > > If it happens to you again, you can ask for the logs immediately, it will > be more likely the admins can find what went wrong.
It is happening at this very moment as a type this, with a patch: From: Derek Buitenhuis <derek.buitenh...@gmail.com> To: ffmpeg-devel@ffmpeg.org Subject: [PATCH] ffprobe: Rename Audio Service Type 'type' field to 'service_type' Date: Mon, 2 Aug 2021 21:55:01 +0100 Which has not appeared. I do not know who has admin access? Michael? The mailing list admin list, access list and infra is entirely opaque... which is not amazing for an open source project. - Derek _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org https://ffmpeg.org/mailman/listinfo/ffmpeg-devel To unsubscribe, visit link above, or email ffmpeg-devel-requ...@ffmpeg.org with subject "unsubscribe".