@rcurtin
rcurtin Merge pull request mlpack#2793 from mlpack/catch-header-updates-2.13.4
dffb8e5 Jan 2, 2021
Merge pull request mlpack#2793 from mlpack/catch-header-updates-2.13.4 
Upgrade Catch to 2.13.4
dffb8e5