Just sent an inaccurate PR with ambiguous title

[Jiawei Ye]

I just sent a PR:ports/86919 meant to update eric to 3.7.2. But I
wrote the PR title as "updating to 3.7.2". Is there a way to correct
it via GNATS? (since I am both the maintainer and originator of the
port and PR).

Jiawei
--
"Without the userland, the kernel is useless."
               --inspired by The Tao of Programming