diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index 04e01a2f..8f794907 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -821,3 +821,6 @@ Alexander Wetzel <alexander.wetzel@web.de>
 
 Marco Franceschetti <ordaz@quipo.it>
  for updating 'ca.conf'
+
+Jens Groth <Jens_Groth@t-online.de>
+ for reporting a an outdated driver version number in INSTALL
diff --git a/HISTORY b/HISTORY
index 69820cac..ab26c935 100644
--- a/HISTORY
+++ b/HISTORY
@@ -2402,3 +2402,8 @@ Video Disk Recorder Revision History
 2003-09-17: Version 1.2.5
 
 - Updated 'channels.conf.cable' (thanks to Stefan Hußfeldt).
+
+2003-10-03: Version 1.3.0
+
+- Updated the required driver version in INSTALL (thanks to Jens Groth for
+  reporting this one).
diff --git a/INSTALL b/INSTALL
index a49acfca..987d5a5a 100644
--- a/INSTALL
+++ b/INSTALL
@@ -28,7 +28,7 @@ If you have the DVB driver source in a different location
 you will have to change the definition of DVBDIR in the
 Makefile (see the file Make.config.template).
 
-VDR requires the Linux-DVB card driver version dated 2003-05-24 or higher
+VDR requires the Linux-DVB card driver version dated 2003-08-23 or higher
 to work properly.
 
 After extracting the package, change into the VDR directory
diff --git a/config.h b/config.h
index 9f5ab38d..0bf7efd3 100644
--- a/config.h
+++ b/config.h
@@ -4,7 +4,7 @@
  * See the main source file 'vdr.c' for copyright information and
  * how to reach the author.
  *
- * $Id: config.h 1.174 2003/09/17 16:08:56 kls Exp $
+ * $Id: config.h 1.175 2003/10/03 11:49:31 kls Exp $
  */
 
 #ifndef __CONFIG_H
@@ -19,8 +19,8 @@
 #include "device.h"
 #include "tools.h"
 
-#define VDRVERSION  "1.2.5"
-#define VDRVERSNUM   10205  // Version * 10000 + Major * 100 + Minor
+#define VDRVERSION  "1.3.0"
+#define VDRVERSNUM   10300  // Version * 10000 + Major * 100 + Minor
 
 #define MAXPRIORITY 99
 #define MAXLIFETIME 99