Added by Iustin Pop almost 15 years ago
Small change in some list arguments
This is simpler than the concat operator.
View differences