Mario Mommer <mommer at 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.