#
# ChangeLog for benchmark/jenkins.sh
#
# Generated by Trac 1.2.1
# May 21, 2024, 6:15:09 PM

Mon, 28 Jan 2019 19:50:45 GMT Thierry Delisle <tdelisle@…> [8f99233]
	* Jenkinsfile (modified)
	* benchmark/jenkins.sh (added)

	Second attempt at pipefail using an external script. closes #110