Thread:Sannse/@comment-25578610-20170622105627/@comment-8-20170623225349

If he's only been inactive for a couple of months, and doesn't want the merge, then that's that.

If he has been inactive for a long time, then you might be able to get the merge - as long as the rest of the community there agree.