[splint] Updated (3.1.1 -> 3.1.2)

develop/splint/splint.desc

@@ -2,6 +2,7 @@
 [COPY] This copyright note is auto-generated by ./scripts/Create-CopyPatch.
 [COPY]
 [COPY] Filename: package/.../splint/splint.desc
+[COPY] Copyright (C) 2008 The OpenSDE Project
 [COPY] Copyright (C) 2004 - 2006 The T2 SDE Project
 [COPY] Copyright (C) 1998 - 2004 Clifford Wolf
 [COPY]
@@ -30,7 +31,7 @@
 
 [L] GPL
 [S] Stable
-[V] 3.1.1
+[V] 3.1.2
 [P] X -----5---9 800.000
 
-[D] 1133352844 splint-3.1.1.src.tgz http://www.splint.org/downloads/
+[D] 3875979892 splint-3.1.2.src.tgz http://www.splint.org/downloads/