Changes between Initial Version and Version 1 of Ticket #5178, comment 2


Ignore:
Timestamp:
12/11/2022 03:23:46 PM (2 years ago)
Author:
pierre

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #5178, comment 2

    initial v1  
    1 According to [https://gitlab.inria.fr/mpc/mpc/-/commit/e944aa454e60cbff8ab4e8c70dd974083398378f this upstream commit], the proper fix is to remove one line containing `FILE *`. DOn't know whetehr it is easy with a sed.
     1According to [https://gitlab.inria.fr/mpc/mpc/-/commit/e944aa454e60cbff8ab4e8c70dd974083398378f this upstream commit], the proper fix is to remove one line containing `FILE *`. Don't know whether it is easy with a sed.