rdht_tx: better tlog_and_results_to_abort/2 (we only need to parse the request list once)
rdht_tx: better tlog_and_results_to_abort/2 (we only need to parse the request list once)

l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror