Merge pull request #1787 from jeromerobert/develop
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 4 Oct 2018 16:41:47 +0000 (18:41 +0200)
committerGitHub <noreply@github.com>
Thu, 4 Oct 2018 16:41:47 +0000 (18:41 +0200)
commit95f4e87579782067ad066f9660662d0f95b92603
tree82d29aa1401443c722963d29ae0b0e5a4fb638db
parent02ef20a1e403b063cd9b58f8b1bcd50fba6a9afe
parentb095f2fad651d3134b5760d25acda686f3a831b7
Merge pull request #1787 from jeromerobert/develop

Fix unknown type name __WAIT_STATUS on RHEL5