[FFmpeg-cvslog] Update for version 4.2

[Michael Niedermayer]

ffmpeg | branch: release/4.2 | Michael Niedermayer <michael at niedermayer.cc> | Sun Jul 21 18:47:16 2019 +0200| [7c4064d9dfe30adc525c2dadcdbb211b10e3a4a5] | committer: Michael Niedermayer

Update for version 4.2

Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=7c4064d9dfe30adc525c2dadcdbb211b10e3a4a5
---

 RELEASE      | 2 +-
 doc/Doxyfile | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/RELEASE b/RELEASE
index e3dcbea35c..bf77d54968 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1 +1 @@
-4.1.git
+4.2
diff --git a/doc/Doxyfile b/doc/Doxyfile
index 0891899505..d8990eeb75 100644
--- a/doc/Doxyfile
+++ b/doc/Doxyfile
@@ -38,7 +38,7 @@ PROJECT_NAME           = FFmpeg
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         =
+PROJECT_NUMBER         = 4.2
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a