They didn’t cave. Nothing changed except wording. They allow the non-union members off on Labor Day, but the union members work labor day and get off on the muslim holiday. It’s exactly the same.
I don’t see where non-union members get an option. It just says that the policy change came through union negotiations.