No, this can be closed. https://review.openstack.org/72840 is already merged, and it addresses the bug.
No, this can be closed. https:/ /review. openstack. org/72840 is already merged, and it addresses the bug.