diff options
| author | Compn <tempn@twmi.rr.com> | 2011-08-01 09:55:54 -0400 |
|---|---|---|
| committer | Compn <tempn@twmi.rr.com> | 2011-08-01 09:55:54 -0400 |
| commit | 29d854d6c5b31f816b639eac231ce86afa42b11d (patch) | |
| tree | 9acbee1a6c4190736781814e74124dbc5425467b | |
| parent | 318fd9dac2d76765b2ac68338fdedb5809bf09e6 (diff) | |
| download | ffmpeg-29d854d6c5b31f816b639eac231ce86afa42b11d.tar.gz | |
correct shorthand ffmpeg-dev > ffmpeg-devel
| -rw-r--r-- | doc/developer.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/developer.texi b/doc/developer.texi index c7dba54fd7..6bfbbba523 100644 --- 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 |