-
Guido Trotter authored
Before we were discussing this possible future feature, and its drawbacks, but not its usefulness. This patch corrects this. Reviewed-by: iustinp
6e4f6dfa
Before we were discussing this possible future feature, and its drawbacks, but not its usefulness. This patch corrects this. Reviewed-by: iustinp