On 12/7/21 5:35 PM, Eric Biggers wrote:> + /* Now that all child objects were deleted, the queue can be deleted. */Shouldn't the present tense be used above (were -> are)? Anyway:Reviewed-by: Bart Van Assche <bvanassche@acm.org>