-
Cristian Lalescu authored
.value was deprecated, so I now use [...], which should work for old enough versions (they recommend [()] instead).
Cristian Lalescu authored.value was deprecated, so I now use [...], which should work for old enough versions (they recommend [()] instead).