[m-rev.] for review: delete read_term* from term_io.m

Julien Fischer jfischer at opturion.com
Fri Mar 4 17:11:08 AEDT 2022


On Fri, 4 Mar 2022, Zoltan Somogyi wrote:

> 2022-03-04 14:47 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>>>> If not, I suggest to delete it.
>>>
>>> I am ambivalent, but wouldn't object. Julien?
>>
>> No objections from me.
>
> Ok, the attached diff deletes this test case, as well as some
> related files. Speak up before midnight if you object to me
> committing this diff.

It's fine, go ahead and commit.

Julien.


More information about the reviews mailing list