As I mentioned in the closing comment of Issue #182, this plugin has come in
handy when troubleshooting two different issues lately. It can also provide
some insight into memory "holes" due to device memory, so I'd suggest we throw
it in contrib/ or something.
Original issue reported on code.google.com by michael.hale@gmail.com on 3 Apr 2012 at 3:32
Original issue reported on code.google.com by
michael.hale@gmail.com
on 3 Apr 2012 at 3:32