[GitHub] williaster closed pull request #5890: [bugfix] De-dup