‘Tis the season for gingerbread cookies, haystacks, and bourbon balls, but Christmastime simply wouldn’t be complete without some homemade peppermint patties on the dessert table.