tree 359c5e403fb542a71e4bcd6dec3811f1163d8a98
parent 1ae16bdade057e7d3fd10f73c91375e32d784baa
author Piotr Banski <bansp@users.noreply.github.com> 1653522070 +0200
committer Piotr Banski <bansp@users.noreply.github.com> 1653522070 +0200

Eliminated spurious whitespace (which probably didn't hurt, but...)

Change-Id: I51b77997e9e1dec75ae92dbc66c1c9e1f439ccd1