I'm changing the status to "Fix Released", based on current behavior. (This is 18.04 with all available current updates.) (I can no longer reproduce this problem, so somebody must have fixed it!)
I probably should have done this status change on 2019-01-10 along with the note I added then, but I didn't know I had the juice.
I'm changing the status to "Fix Released", based on current behavior. (This is 18.04 with all available current updates.) (I can no longer reproduce this problem, so somebody must have fixed it!)
I probably should have done this status change on 2019-01-10 along with the note I added then, but I didn't know I had the juice.