Andreas Enge Fri, 09 Feb 2018 14:06:26 -0800
The bug was tagged as fixed, but not closed; closing it now. Andreas
