On Sun, Aug 21, 2016 at 08:30:08AM -0700, Sontol Bonggol wrote:
> 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!
The patch submit process is good, it's just that a gedit maintainer
needed to apply the patch in git. This development cycle, gedit didn't
have a lot of activity. Paolo and Ignacio are busy at work.
So now I've pushed the patch on git master. Thanks for your
contribution!
--
Sébastien