18 Dec
2010
18 Dec
'10
3:07 p.m.
On Sat, 18 Dec 2010 12:37:09 +0100
Georg Brandl
I'd rather keep this a note. We don't want to use warnings except for cases where there is a possibility of security implications or crashes.
Well, there'll be a crash as soon as someone relies on an API we decide to change or remove :)