Uwe Risse dd384d0765 Revert "Fix a problem with backward compatibility, part 2."
This reverts commit 4545195a3214f875028e9015a9015159f6fa54cd.
2022-07-09 12:43:39 +02:00
..
2020-09-07 20:36:09 +01:00
2019-06-06 12:56:25 +01:00
2020-06-13 16:04:41 +01:00
2019-06-06 12:56:25 +01:00
2021-03-03 11:50:34 -05:00
2021-03-03 11:50:34 -05:00