HomeIsabelle/Phabricator

Merge branch 'Endian5.8.2' into fixes-5.8.2. Fixes #150