[m-rev.] diff: fix failure of invalid/multiple_star in debug grades

Julien Fischer jfischer at opturion.com
Wed Oct 4 15:12:47 AEDT 2023


On Sun, 1 Oct 2023, Zoltan Somogyi wrote:

> This should not need review.

Are you going to commit this one?

Julien.


More information about the reviews mailing list