I am a new contributor to gedit. I have made a patch proposal in this bugÂ
https://bugzilla.gnome.org/show_bug.cgi?id=765550 and it has been accepted (accepted-commit_now). May I know when this will be merged? Or should I push it myself? I am sorry I don't know much about the patch process here. Thank you!