[#2475] Update ming version to allow turning off instrumentation
Signed-off-by: Rick Copeland rcopeland@geek.net
Authored by: Rick Copeland 2012-02-02
Committed by: Tim Van Steenburgh 2012-02-07
Parent(s): [3ad7c0]
Child(ren): [d70fcc]
