Hey folks,

It seems like issues on the ros repository on github are closed as
soon as a fix is pushed to source, but have not made it to the release
repository. Would it make more sense to tag them as fixed but close
the issue only once they've made it to release? It seems to be taking
me a long time to trace out whether an updated version of a package
(for instance catkin) has been released with a fix since the bug was
reported.

Thoughts?

Thanks,
Piyush