The proper thing to do in this situation is this: treat it as a bug report which was accompanied by a patch that was not used. Credit the bug finder, and acknow

The proper thing to do in this situation is this: treat it as a bug report which was accompanied by a patch that was not used. Credit the bug finder, and acknowledge that the fix is very closely based on their proposed solution.