-
Daniel Kochmański authored
This change is incorporated from CLASP. Fixes #82. Signed-off-by: Daniel Kochmański <dkochmanski@turtle-solutions.eu>
cce2b39f
This change is incorporated from CLASP. Fixes #82.
Signed-off-by: Daniel Kochmański <dkochmanski@turtle-solutions.eu>