From 560f9edcea0dadb7f8be45b94a51907a157bd9c6 Mon Sep 17 00:00:00 2001
From: ChenTianhao <46551447+MuscleOne@users.noreply.github.com>
Date: Fri, 18 Oct 2024 06:56:35 +0800
Subject: [PATCH] to correct a mistake in section 19.2.4 (#519)