Roberto Rosario dee7dd5429 Renamed setting LOCK_MANAGER_DEFAULT_BACKEND to LOCK_MANAGER_BACKEND. Add help text to settings. ...

Signed-off-by: Roberto Rosario <roberto.rosario.gonzalez@gmail.com>

2018-08-20 02:50:48 -04:00

842 B

Raw Blame History

View Raw