Changes between Initial Version and Version 1 of Ticket #61837, comment 6


Ignore:
Timestamp:
Jan 1, 2021, 6:32:07 PM (4 years ago)
Author:
Dave-Allured (Dave Allured)
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #61837, comment 6

    initial v1  
    1 That was my conclusion too, although I never finished proving it.  Thanks for investigating and making a complete pull request.
     1That was my conclusion too, although I never finished proving it.  Thanks for investigating and making [a complete pull request].
     2
     3Edit:  That is, committing a complete set of fixes.  There was no PR.