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

[bugzilla-daemon at rtems.org]

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


Ralf Corsepius <ralf.corsepius at rtems.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ralf.corsepius at rtems.org




--- Comment #1 from Ralf Corsepius <ralf.corsepius at rtems.org>  2010-05-22 11:52:44 ---
Patch applied.

Please cross-check this patch and close this PR, if OK.

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