[SCM] Git repository for devscripts branch, master, updated. v2.12.0-13-gfbc5e4f

[Benjamin Drung]

The following commit has been merged in the master branch:
commit fbc5e4fee1649295df2f16c67a93abaa001df95f
Author: Benjamin Drung <bdrung at debian.org>
Date:   Thu Jul 26 19:11:07 2012 +0200

    Add changelog entries for previous commits.

diff --git a/debian/changelog b/debian/changelog
index e58db71..7dcaa44 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,6 @@
 devscripts (2.12.2) UNRELEASED; urgency=low
 
+  [ Benjamin Drung ]
   * licensecheck:
     - Don't truncate other licenses on Public domain or WTFPL presence.
       Thanks to Garrett Holmstrom from Fedora for the patch.
@@ -7,6 +8,12 @@ devscripts (2.12.2) UNRELEASED; urgency=low
     - add --machine option that outputs results in a machine readable format.
       Thanks to Eric Lavarde for the patch. (Closes: #583750)
 
+  [ Richard W.M. Jones ]
+  * licensecheck: Check OCaml programs by default (*.ml, *.mli).
+
+  [ Ville Skyttä ]
+  * Spelling fixes.
+
  -- Benjamin Drung <bdrung at debian.org>  Thu, 26 Jul 2012 12:17:51 +0200
 
 devscripts (2.12.1) unstable; urgency=low

-- 
Git repository for devscripts