06a92d52d9
It's fairly easy for a user to (by mistake or intentionally) create two operations with the same OpId. This patch makes it much less likely, and ensures that if the OpId is equal, it's because the operations are identical. |
||
|---|---|---|
| .. | ||
| commands.rs | ||