Confusion in github issue - PR linking

I've noticed on some issues that they've been fixed or a PR has been uploaded but that isn't mentioned in the issue thread itself.
For example, https://github.com/mit-cml/appinventor-sources/issues/2264
Here the changes have been implemented (I can see 'projects' instead of 'My projects' in the current Appinventor) but the issue has not been closed or a PR has not been attached to it. This ofcourse is a minor issue, but in more complex issues it becomes hard to determine if they've been fixed.
Am I missing something here?
Please note: I'm still new to MIT app inventor.

1 Like

I've closed it now. And I agree with you: The PR author should have linked the issue so that it would get auto-closed when the PR is merged.

1 Like