The new rule, which takes effect this year, will give workers in all municipal offices the day off on Election Day, typically the first Tuesday in November.

…City Manager Eric Wobser told the Sandusky Register that the swap is to encourage city employees to vote, as well as in response to the controversies surrounding Columbus Day.

Ohio city to stop observing Columbus Day, make Election Day holiday instead | TheHill

hmmm