Changes between Version 326 and Version 354 of Ticket #22626


Ignore:
Timestamp:
12/11/18 12:19:15 (3 years ago)
Author:
embray
Comment:

Got around to opening a PR for the writeandcheck issue: https://github.com/gap-system/gap/pull/3102

As I wrote there, I'm not entirely satisfied with the solution, but it's "good enough for now" for our purposes.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #22626

    • Property Dependencies changed from to #26874
    • Property Commit changed from 09d229f1db78ff96d6b46df9ffad22d03155c2c8 to 15b7c7855d9097143e2b582b4831d2fb50294f53
  • Ticket #22626 – Description

    v326 v354  
    105105* https://github.com/gap-system/gap/pull/3072
    106106* https://github.com/gap-system/gap/pull/3096
     107* https://github.com/gap-system/gap/pull/3102
    107108
    108109Other open issues that don't have PRs yet: