Closed ellert closed 10 months ago
Fix for #204.
@ellert: Thanks! Merging this now, the failing jobs on Travis just timed out on ppc64le.
Fix for #204.