The second Monday in October will have a different name in Princeton in 2019.

The holiday previously known as — and still known as, in most areas — Columbus Day will now be known as Indigenous Peoples Day, according to a resolution passed unanimously on September 9.

Princeton is not the only city in New Jersey to have changed the name, though it is just the second. In 2017, Newark mayor Ras Baraka changed the name in his city using an executive order.

Following the trend of changing Columbus Day? Download our app to stay up-to-date.

Princeton took a more democratic approach, with the municipal councilpeople voting on a resolution to change the name. All six members voted in favor.

Where Princeton decided yay, Glen Rock decided nay. The North Jersey town voted to stick with Columbus Day in May after a contentious public debate.

A public discussion: Glen Rock debates changing the holiday

An affront to heritage?: Italian-Americans defend Columbus Day

In the resolution, they laid out their reasoning for the change, saying, "the residents and elected of the Municipality of Princeton strive for an open and mutually supportive community that celebrates diversity and rejects systemic racism and oppression that targets all minority and indigenous peoples."

The history of altering Columbus Day stretches back to 1977, when a group of delegates from the Native Nations spoke at the International Conference on Discrimination Against Indigenous Populations in the Americas at a United Nations summit. The first time it was celebrated was in Berkeley, California in 1992.

A number of states have made the switch, including Maine, Vermont, Alaska, New Mexico and Oregon. South Dakota replaced the name with Native Americans Day, while Hawaii calls it Discoverers Day. Oklahoma, which did not recognize Columbus Day, recently decided to recognize both.