Achim Gratz <[email protected]> writes:

> No, delete it.  There is no reason to include it there since it is
> automatically present when testing.

Indeed, thanks for correcting me here,

-- 
 Bastien

Reply via email to