process_timestamp_delete 395 utils/history/recreate.c process_timestamp_delete(RIPE_rs, RIPE_row, timestamp); process_timestamp_delete 407 utils/history/recreate.c process_timestamp_delete(RIPE_rs, RIPE_row, timestamp);