(#9443) Allow digits in face names
This patch allows digits to be used in face names. The first character,
however, is not allowed to be a digit. This fixes #9443.
Description
Description
Details
Details
- Provenance
Franz Pletz <fpletz@fnordicwalking.de> Authored on vanmeeuwen Pushed on Jun 2 2015, 2:22 PM - Parents
- rPUed73922ed27f: Merge pull request #359 from djm68/pending_test_ticket_11727
- Branches
- Unknown
- Tags