Added by Guido Trotter about 16 years ago
Fix a typo in jqueue.py
s/result/op_result/ (this code was never used, so this wasn't caught)
Reviewed-by: iustinp
View differences