[GitHub] mistercrunch commented on issue #5890: [bugfix] De-dup