The platform references machines always run HEAD, so drop the branch
number from their OS fields.
Description
Description
Details
Details
- Provenance
Dima Dorfman Authored on Sep 13 2004, 12:55 PM - Parents
- R9:10f6c9c9df00: Fix a cut-n-paste glitch
- Branches
- Unknown
- Tags