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