[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