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.