Constant HIGHS_VERSION_PATCH

Source
pub const HIGHS_VERSION_PATCH: u32 = 0;