Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Previous spelling patch from Simon Arlott broke one spot that didn't need fixing (reported by Simon within 35 minutes of the patch ... but not until after I'd applied to GIT and pushed :-( Signed-off-by: Tony Luck <tony.luck@intel.com>
- Loading branch information