Changes between Version 5 and Version 6 of Ticket #27714


Ignore:
Timestamp:
04/23/19 14:25:19 (2 years ago)
Author:
embray
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #27714 – Description

    v5 v6  
    2525when in fact the definitions of these types can be platform-dependent.  Not sure what best to do about this.
    2626
    27 **Upstream PR:*** https://github.com/wbhart/flint2/pull/557
     27**Upstream PR:** https://github.com/wbhart/flint2/pull/557