-
Per Cederqvist authored
(read_ranges_precondition): New static function. (read_ranges_postcondition): New static function. (mark_as_read): Extracted debug code to read_ranges_precondition and read_ranges_postcondition. (mark_as_unread): New function. (check_range_list): New static function. (set_read_ranges): New function.
3c78551c