-
Pablo Correa Gomez authored
check-shadowing option is now deprecated. I could have just updated to the new format, but found useful to improve a bit the code in the process.
check-shadowing option is now deprecated. I could have just updated to the new format, but found useful to improve a bit the code in the process.