From 078d612b9ef5cf39c9c83ed64b0761d8e581a34b Mon Sep 17 00:00:00 2001 From: Benno Schulenberg Date: Fri, 3 Feb 2023 17:30:27 +0100 Subject: [PATCH] tweaks: add a missing 'type' attribute to a