jameysharp commented on issue #5573:
Good suggestion; I've opened #5623 to track this optimization opportunity. Thanks!
Last updated: Feb 28 2025 at 01:30 UTC