Commit df42cdcaff9f3e6ba0ec17ff330ef543f9270b9f

Bruno Haible 2020-07-12T22:23:30

Add a copyright header. * tests/test-libgmp.c: Add a copyright header.