From: Christian Heller Date: Fri, 25 Dec 2020 00:47:38 +0000 (+0100) Subject: Fix wrongly named collision property. X-Git-Url: https://plomlompom.com/repos/%22https:/validator.w3.org/static/git-logo.png?a=commitdiff_plain;h=bbeb0b2366ae52a9c899c2ca60bdf68db1d342dc;hp=bbeb0b2366ae52a9c899c2ca60bdf68db1d342dc;p=rc3_plom_map Fix wrongly named collision property. ---