Commit 0f630e917797f575be48638fb01411b19309a5cd

Pierre Wendling 2022-05-04T21:37:40

Test: fix indentation in Makefile.in.