Udo, Once we switch to git box we will be able to close prs.
Sent from my iPhone > On Aug 24, 2017, at 3:16 PM, kohlmu-pivotal <g...@git.apache.org> wrote: > > Github user kohlmu-pivotal commented on the issue: > > https://github.com/apache/geode/pull/245 > > @doribd @fdaniel7 could you please close this PR if it is not required > anymore. > > > --- > If your project is set up for it, you can reply to this email and have your > reply appear on GitHub as well. If your project does not have this feature > enabled and wishes so, or if the feature is enabled but not working, please > contact infrastructure at infrastruct...@apache.org or file a JIRA ticket > with INFRA. > ---