If it’s in the game, but didn’t work properly because of a bug or server issue, great! Tell people that, they’ll be happy to hear it and (the vast majority) will understand.