◐ Shell
clean mode source ↗

Message 309126 - Python tracker

Yes, the patch needs improving as per the suggestion in msg288493 (not had the time since to do any work on it), followed by a review of the changes.