Comment 20 for bug 1726464

When using Ubuntu 20.04, a workaround along the lines of comment #17 is to go to Settings -> Screen display and then set the primary display to the display other than the one currently selected.

If the dock was previously shown between the 2 screens, this would move the dock to e.g. the left edge of the left screen, which then unsticks the edge between the two screens.