[m-rev.] for information: don't warn about obsolete calls in transformed predicates

Zoltan Somogyi zoltan.somogyi at runbox.com
Tue Jul 4 08:01:44 AEST 2023


On 2023-07-02 14:20 +02:00 CEST, "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> The diff is trivial and does not need review, but I intend to use it
> in a change soon, and that will require the installed compiler
> to contain this diff. I will of course wait for an rotd to contain this diff
> before committing that one.

I have just committed the term_io diff, which requires this up-to-date
compiler. One is available in the latest rotd.

Zoltan. 


More information about the reviews mailing list