First I've heard of it.
Looking into it, it was voted on and declined.
To me, personally, it should have ended there. It sucks, sure, gives the idea of the community has issues with GLBTQIA+ people and that they're prejudice against them, but the mayor won't always be the mayor and it all...