Thanks for the reply. I made your suggested change, removed the erroneous commit and pushed.
On Monday, June 21, 2021 at 9:02:22 PM UTC-4 K.Takata wrote: > Shall I cancel my pull request, > > No need to do that. > If you want, you can use git push -f to amend your commits. > > — > You are receiving this because you are subscribed to this thread. > Reply to this email directly, view it on GitHub > <https://github.com/vim/vim/pull/8421#issuecomment-865443831>, or > unsubscribe > <https://github.com/notifications/unsubscribe-auth/ACY5DGHHJEGMYEERKAF7L2TTT7OJPANCNFSM47CDN4TA> > . > -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/a5f39008-aef9-4b7c-acac-8af6086a5325n%40googlegroups.com.
