Bump version number.

build.xml

@@ -29,7 +29,7 @@
   <property name="php-cs-fixers" value="no_blank_lines_before_namespaces,function_call_space,trailing_spaces,unused_use,lowercase_keywords,encoding,parenthesis,php_closing_tag,visibility,duplicate_semicolon,extra_empty_lines,no_blank_lines_after_class_opening,no_empty_lines_after_phpdocs,operators_spaces,spaces_before_semicolon,ternary_spaces,concat_with_spaces,short_array_syntax,phpdoc_no_access,remove_leading_slash_use,eof_ending" />
 
 
-  <property name="version" value="4.1.2" />
+  <property name="version" value="4.1.3" />
 
   <!-- We only need the -p switch if the password is non-blank -->
   <if><not><equals arg1="${mysqlrootpass}" arg2="" /></not><then>

config/vufind/config.ini

@@ -133,7 +133,7 @@ showBulkOptions = false
 ; Should users be allowed to save searches in their accounts?
 allowSavedSearches = true
 ; Generator value to display in an HTML header <meta> tag:
-generator = "VuFind 4.1.2"
+generator = "VuFind 4.1.3"
 
 ; This section allows you to configure the mechanism used for storing user
 ; sessions.  Available types: File, Memcache, Database.

package.json

@@ -1,6 +1,6 @@
 {
   "name": "vufind",
-  "version": "4.1.2",
+  "version": "4.1.3",
   "description": "Dev tools to handle css preprocessing, js magic, and compression",
   "repository": {
     "type": "git",

packages/DEBIAN/changelog

@@ -1,3 +1,9 @@
+vufind 4.1.3 distribution; urgency=low
+
+  * VuFind 4.1.3 release (see http://vufind.org/wiki/changelog for details)
+
+ -- maintainer VuFind Project Administration Team <vufind-admins@lists.sourceforge.net>  Mo 11 Jun 2018 09:32:00 UTC
+
 vufind 4.1.2 distribution; urgency=low
 
   * VuFind 4.1.2 release (see http://vufind.org/wiki/changelog for details)

packages/DEBIAN/control

@@ -1,5 +1,5 @@
 Package: vufind
-Version: 4.1.2
+Version: 4.1.3
 Section: World Wide Web
 Priority: Optional
 Architecture: all