Rather no. I prefer to receive some feedback, and in general close tickets only after/on release, so pre-release checks against changelog are more efficient even without a sophisticated ticket query.

As an exception for the largely obsolete 0.10 you earn a point here. Let's keep that closed.

Add Comment

This ticket has been modified since you started editing. You should review the
other modifications which have been appended above,
and any conflicts shown in the preview below.
You can nevertheless proceed and submit your changes if you wish so.