12 Oct
2014
12 Oct
'14
4:04 p.m.
On 12-10-2014 9:03, Samuel Chase wrote:
Hi Johan,
Wow. This looks like it could be really useful in the days to come!
Hope you can work on fixing some bugs! Put highest priority on the "Dereference of null pointer" bugs in our own code (so excluding the "lib..." directories). Be careful, some of them are not well-solved by an extra if (ptr)...
cheers, Johan