| From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Wed Sep 14 16:23:59 EDT 2011 |
|
> Just to clarify (a) is a kind of a cheap way out: I agree. But (b) sounds like a lot of design and re-implementation work; it would be unfortunate if that held up doing anything about (a). Shriram
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}