On Mon, Oct 30, 2023 at 04:10:17PM +0300, Aleksander Alekseev wrote:> I didn't like the commit message. Here is the corrected patch. Sorry> for the noise.
Sounds pretty much OK to me. Thanks!--Michael