------- Comment From <email address hidden> 2018-01-16 14:09 EDT------- Just for the record, I have also reproduced this bug in x86_64 with ubuntu 17.10.
------- Comment From <email address hidden> 2018-01-16 14:09 EDT-------
Just for the record, I have also reproduced this bug in x86_64 with ubuntu 17.10.