Hi Steve,

On Fri, Apr 06, 2018 at 09:00:44PM -0700, Steve Langasek wrote:

> The attached patch fixes the trivial portability issue in why3, and as seen
> at http://autopkgtest.ubuntu.com/packages/w/why3 the tests are now passing
> for 0.88.3 on all architectures where they previously passed.

Thanks a lot for the patch. Applied and forwarded to upstream -Ralf.

Reply via email to