Unused since 81cc0e1345. Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>
81cc0e1345