CVS commit: src/sys/arch/x86/x86

["Joerg Sonnenberger" <joerg%netbsd.org@localhost>]

Module Name:    src
Committed By:   joerg
Date:           Thu Jun 22 13:32:47 UTC 2017

Modified Files:
        src/sys/arch/x86/x86: ipmi.c

Log Message:
Use a proper format string.


To generate a diff of this commit:
cvs rdiff -u -r1.65 -r1.66 src/sys/arch/x86/x86/ipmi.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.