[Bug 1527] nvdisk.c: pointer to integer of different size

Tue Jun 22 01:58:22 UTC 2010

https://www.rtems.org/bugzilla/show_bug.cgi?id=1527

Chris Johns <chrisj at rtems.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #2 from Chris Johns <chrisj at rtems.org> 2010-06-21 20:58:21 CDT ---
Patch is fine.

-- 
Configure bugmail: https://www.rtems.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are watching all bug changes.