tree c10492407d71713784a033b8bb3a87329accb852
parent b91feaeba225eb6e0e474f35fde76fa4aaf1b272
author Marc Kupietz <kupietz@ids-mannheim.de> 1738834979 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1738834979 +0100

Add thin space in R 5 and remove D-

Thanks @Norbert!

Change-Id: I82bbcf32ed5a960d3908fafa9c0c71300f288204