It think it ended up being refixed in 91ce5ca960879dbe810cde43265d00b5c6446a1a but still fix released in gnome-shell 43.0.
It think it ended up being refixed in 91ce5ca960879db e810cde43265d00 b5c6446a1a but still fix released in gnome-shell 43.0.