Commit f5239253 authored by Keith Bennett's avatar Keith Bennett

Merge tag 'v1.5.13' into devel

Version v1.5.13

# gpg: Signature made Fri 28 Jul 12:35:09 2017 BST
# gpg:                using RSA key DB4F7D61DB1CE84F
# gpg: Good signature from "Keith Bennett <k.bennett@warwick.ac.uk>" [ultimate]
# gpg:                 aka "Keith Bennett <dr.keith.bennett@gmail.com>" [ultimate]
parents e1ce4a51 101e72be
Pipeline #2295 failed with stage
in 0 seconds