-
@awesomekling Depends. Do you actually like the change for yourself? Merge manually. Is it more or less something that the author wanted to add for themselves? Ignore. Also nothing wrong with closing, they can always reopen later (and fix the merge conflicts 😁)