Completed
Push — develop ( c1d651...796266 )
by David
12:35 queued 05:37
created

Changes

1 issue (minor) was introduced.
1 issue was fixed.
4 new patches (Indentation, Spacing) are available.
9.37
▶   ± 0
Head
David Riccitelli  
see #203: fix merge hotfix/203_alternative-labels-are-duplicated-among-two-separated-entities
6 more commits
Base
Marcello Colacino  
Merge 3.2.1 in develop