Gunnar Hjalmarsson Mon, 20 Apr 2020 16:57:26 -0700
I can't find that this bug is fixed, so I reopened it.
-- Gunnar Hjalmarsson https://launchpad.net/~gunnarhj
