debug.log - third_party/github.com/leanprover/lean4 - Git at Google


          
            
            [0829/202002.254:ERROR:crashpad_client_win.cc(868)] not connected