On Thu, Dec 10, 2020 at 10:02:10PM -0600, Justin Pryzby wrote:> Isn't the sense of "reset" inverted ?
It is ;p--Michael