[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