Diff between 7042a311ba42f13bbf1fc9be6da9e7c6d66ae3f0 and 5ffe7b9a5262d0315bf7fb039cfa29a2b4a04e36

Changed Files

File Additions Deletions Status
doc/mgmt-api.txt +1 -1 modified

Full Patch

diff --git a/doc/mgmt-api.txt b/doc/mgmt-api.txt
index 7357042..a51e913 100644
--- a/doc/mgmt-api.txt
+++ b/doc/mgmt-api.txt
@@ -22,7 +22,7 @@ Linux kernel v3.13	Version 1.4
 Linux kernel v3.15	Version 1.5
 Linux kernel v3.16	Version 1.6
 Linux kernel v3.17	Version 1.7
-Linux kernel v3.19	Version 1.8	(not yet released)
+Linux kernel v3.19	Version 1.8
 
 Version 1.1 introduces Set Device ID command.