Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
x/tools/gopls: ServerCapabilities.RenameProvider should be interface #32710
i'll try to look at it over the weekend.…
On Thu, Jun 20, 2019 at 8:29 AM Suzy Mueller ***@***.***> wrote: @pjweinb <https://github.com/pjweinb> : Could we make this change in the protocol generator? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#32710?email_source=notifications&email_token=ABJIAIZYH7ETZ2LTHXAGFBLP3OO4PA5CNFSM4HZU5M2KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODYFYEEI#issuecomment-504070673>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABJIAIYOHORP3CKYQKHPOETP3OO4PANCNFSM4HZU5M2A> .