Changes between Initial Version and Version 1 of Ticket #61837, comment 6
- Timestamp:
- Jan 1, 2021, 6:32:07 PM (4 years ago)
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. 1 That was my conclusion too, although I never finished proving it. Thanks for investigating and making [a complete pull request]. 2 3 Edit: That is, committing a complete set of fixes. There was no PR.