Changes between Initial Version and Version 1 of Ticket #23946, comment 42


Ignore:
Timestamp:
Dec 25, 2019, 4:38:23 PM (3 years ago)
Author:
Kiran Kedlaya
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23946, comment 42

    initial v1  
    1818> }}}
    1919
    20 I was asked to remove that method in [comment:18 chapoton], but anyway here it is again.
     20I was asked to remove that method (see comment:18), but anyway here it is again.