pchickey commented on issue #3502:
This opcode can be removed again now - lucet was the sole user and its past EOL
Last updated: Feb 28 2025 at 03:10 UTC