On Sat, 03 Jun 2023 11:55:46 +0200, Omar Polo wrote: > As per subject. While here I couldn't resist simplifying the "From " > check too, although it is indipendent from the rest of the diff. > (could commit separately if preferred.)
OK millert@ - todd
