Erik Johnston 37d766aedd Fix port script
We changed _simple_update_one_txn to use _simple_update_txn but didn't
yank it out in the port script.

Fixes #2565
2017-10-26 10:01:03 +01:00
..
2016-07-06 12:17:54 +09:00
2017-10-26 10:01:03 +01:00