Changes between Initial Version and Version 1 of Ticket #30062, comment 32
- Timestamp:
- 07/26/20 14:14:19 (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #30062, comment 32
initial v1 6 6 > with hopefully some day `RR` replaced by a better representation of the real field, as proposed in #24456. 7 7 8 I'll add a commit implementing this soon .8 I'll add a commit implementing this soon (EDIT: this is the commit in comment:33).