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]
3 jobs for devel in 0 seconds (queued for 109 minutes and 49 seconds)
Status Job ID Name Coverage
  Test
failed #6404
osx
test_osx

failed #6402
gfortran ubuntu
test_ubuntu_gfortran

failed #6403
ubuntu intel
test_ubuntu_intel

 
Name Stage Failure
failed
test_osx Test There is an unknown failure, please try again
No job trace
failed
test_ubuntu_intel Test There is an unknown failure, please try again
No job trace
failed
test_ubuntu_gfortran Test There is an unknown failure, please try again
No job trace