Don't compare the patchlevel
The patchlevel is not well defined and in particular with git commit
ids the comparison is plainly wrong.
Description
Description
Details
Details
- Provenance
• werner Authored on Feb 25 2011, 9:50 AM - Parents
- rKd5bf2a9fd589: Nuked all trailing white space
- Branches
- Unknown
- Tags