https://d.puremagic.com/issues/show_bug.cgi?id=7357


bearophile_hugs@eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bearophile_hugs@eml.cc


--- Comment #1 from bearophile_hugs@eml.cc 2013-12-07 09:28:42 PST ---
Is this still desired? I don't see much interest in this idea, nor its advantages.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------