Thanks for reporting.
As you metion, Ubuntu 16.04 included joe 4.1, so I believe that this issue can be marked as fixed. Note that Ubuntu 17.04 and later ships with joe 4.4. :)
Thanks for reporting.
As you metion, Ubuntu 16.04 included joe 4.1, so I believe that this issue can be marked as fixed. Note that Ubuntu 17.04 and later ships with joe 4.4. :)