Mario Mommer <mommer@igpm.rwth-aachen.de> writes:

Maybe we should make clear in a case like this that it is just a comment and that approval won't depend on accomodating it [...]

That sounds like a fine idea. Erik.