Hi,

I have applied the PR/2 from Daniel Soro to SVN, but I can't close it.
Usually when Github is the mirror and we merge a PR manually, gitbot sees
it and closes the PR for us.

Did I miss something?

Jean-Louis

Reply via email to