New Features in OpenOnload-7.1.2

This is an update release of Onload that extends support to recent operating system updates and fixes various bugs.

See the accompanying ChangeLog for a list of bugs fixed.