As a presidential candidate, Donald Trump complained that the greeting “Merry Christmas” had fallen out of vogue. People would be saying it again once he took office, he promised.

And you’d hear the greeting more in department stores, too. He has said that repeatedly since occupying the Oval Office. “You’re going to be saying ‘Merry Christmas’ again,” he pledged during a speech to the Heritage Foundation on Oct. 17.

But the president’s enthusiasm for the greeting isn’t as widely shared as he may think.

“Today, fully half of the U.S. public (52 percent) says a business’ choice of holiday greeting does not matter to them,” according results of a survey released Tuesday by the Pew Research Center. In other words, “Merry Christmas” is fine, but “Happy holidays” will do.

Many surveyed agreed that the religious aspects of Christmas are not as prominent in American culture as in the past, but very few were bothered by this. Nine in 10 adults said they celebrate Christmas in some way.

The survey was conducted by telephone a few weeks ago, “among a representative sample” of 1,503 adults nationwide, Pew said. Among other findings:

• Fifty-five percent of American adults said they celebrate Christmas as a religious holiday, down from 59 percent in 2013.

• The number of Americans who believe no religious displays, such as nativity scenes, should be permitted on government property, has grown from 20 percent to 26 percent since 2014.

• Three-quarters of Republicans believe in the parts of the Christmas narrative, the survey said, compared to 47 percent of Democrats.

Despite the changes in attitudes, Trump’s push for “Merry Christmas,” plays well with his political base. “About half of those who identify with … the Republican Party express a preference for hearing ‘merry Christmas’ from business.” the survey said.