On Friday December 02 2016 21:52:00 Rainer Müller wrote:

> should review and acknowledge the merge. In any case, the maintainer
> needs to be notified, which can only be achieved with an @ mention.

OK, I guess that answers my question.

R.

Reply via email to