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