Within the NFL, there was been little to no pressure from owners or the league to bring about a change of the Washington Redskins’ name, according to an owner who now thinks it will recede into the background.

“There has not been much discussion about this, at least to my knowledge,” an owner who requested anonymity because of the controversial nature of the topic told The Post’s Mark Maske after a new Washington Post poll showed nine in 10 Native Americans don’t find the name offensive. “I get the sense that this issue is gradually going away.”

Owners, who will meet May 23-25 in Charlotte, have long treated the issue as one between Daniel Snyder and the NFL, choosing not to get involved unless there were economic implications to the league as a whole.

“I do think [the] poll will affect the attitudes of some owners,” the owner told Maske.

Changing the nickname would be significant for one of football’s most valuable franchises because there is a revenue-sharing agreement among the 32 teams that much of the more than $9 billion the league generates annually.

“The unique dynamic of professional sports is that teams essentially give up some of their rights as far as names and trademarks to the league as part of the joint venture,” Gabriel Feldman, director of the sports law program at Tulane University, told Maske in February 2013. “While an individual team owner makes business decisions primarily affecting the one team, there are also decisions made by the league and the other owners that tend to affect the league as a whole.”

More on the Redskins name debate: