Zandario 77db52dc6b Corrects record_feedback()'s copy/paste comment (#74962) ...

## About The Pull Request

Corrects `record_feedback()`'s copy/paste comment.

## Pointless history

Originally being added in e2a8a5e, it kept its name and args for quite a
few years, that was until #32188 which had it renamed to
`record_feedback` and its args pretty much doubled. In between these
times the known copy/paste comment was already around, but that wasn't
updated, until now apparently.

2023-04-25 20:20:02 -06:00

..

callproc.dm

Corrects record_feedback()'s copy/paste comment (#74962)

2023-04-25 20:20:02 -06:00