I had the same issue and can confirm that the fix described in bugzilla works: "Rename duplicate label1 to label3 (which is unused)"
I had the same issue and can confirm that the fix described in bugzilla works:
"Rename duplicate label1 to label3 (which is unused)"