correct shorthand ffmpeg-dev > ffmpeg-devel

14 years ago · 29d854d6c5
parent 318fd9dac2
commit 29d854d6c5
1 changed files with 1 additions and 1 deletions
--- a/doc/developer.texi
+++ b/doc/developer.texi
@ -339,7 +339,7 @@ send a reminder by email. Your patch should eventually be dealt with.
@item
    Is the patch against latest FFmpeg git master branch?
@item
-    Are you subscribed to ffmpeg-dev?
+    Are you subscribed to ffmpeg-devel?
    (the list is subscribers only due to spam)
@item
    Have you checked that the changes are minimal, so that the same cannot be