Commit 957940bf44d16c66acb8ef1d264f8f7e35ba5854

Patrick Steinhardt 2019-05-02T12:04:04

Merge pull request #5023 from ianhattendorf/fix/lock_missing_global_config Correctly write to missing locked global config