@b4n: There was a feature request in #1512. See end of the post for the user's reason for having this feature. This is one of the changes I did in a bunch of changes for just fixing/closing some issues some month ago.

So, I guess it could still be discussed if the feature request should be implemented/merged or rejected/closed.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.