[packages/devhelp] Update to 3.12.1

[megabajt]

commit df0258e617b4b126ddb96c817c36aadddd737a49
Author: Marcin Banasiak <marcin.banasiak at gmail.com>
Date:   Tue Apr 15 22:25:10 2014 +0200

    Update to 3.12.1

 devhelp.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/devhelp.spec b/devhelp.spec
index 6ba36de..2d5123d 100644
--- a/devhelp.spec
+++ b/devhelp.spec
@@ -1,12 +1,12 @@
 Summary:	API documentation browser for GNOME
 Summary(pl.UTF-8):	Przeglądarka dokumentacji API dla GNOME
 Name:		devhelp
-Version:	3.12.0
+Version:	3.12.1
 Release:	1
 License:	GPL v2+
 Group:		X11/Applications
 Source0:	http://ftp.gnome.org/pub/GNOME/sources/devhelp/3.12/%{name}-%{version}.tar.xz
-# Source0-md5:	cb37d678fad2d7a7b8cd7101d851345f
+# Source0-md5:	893629a721d63ceacf4fd7b6233b30cb
 Patch0:		%{name}-bookdir.patch
 Patch1:		%{name}-use-python3.patch
 URL:		http://www.imendio.com/projects/devhelp/
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/devhelp.git/commitdiff/df0258e617b4b126ddb96c817c36aadddd737a49