#5144: Pattern synonyms
-+--
Reporter: simonpj | Owner:
Type: feature request | Status: new
Priority: normal| Milestone: _|_
#5144: Pattern synonyms
-+--
Reporter: simonpj | Owner:
Type: feature request | Status: new
Priority: normal| Milestone: _|_
#5144: Pattern synonyms
-+--
Reporter: simonpj | Owner:
Type: feature request | Status: new
Priority: normal| Milestone: _|_
#5144: Pattern synonyms
-+--
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal| Milestone: _|_
#5144: Pattern synonyms
-+--
Reporter: simonpj |Owner:
Type: bug | Status: new
Priority: normal|Milestone: _|_
#5144: Pattern synonyms
-+--
Reporter: simonpj |Owner:
Type: bug | Status: new
Priority: normal|Milestone: _|_
#5144: Pattern synonyms
-+--
Reporter: simonpj |Owner:
Type: bug | Status: new
Priority: normal|Milestone: _|_
#5144: Pattern synonyms
-+--
Reporter: simonpj |Owner:
Type: bug | Status: new
Priority: normal|Milestone: _|_
#5144: Pattern synonyms
-+--
Reporter: simonpj |Owner:
Type: bug | Status: new
Priority: normal|Milestone: _|_