-
Herbert Valerio Riedel authored
While at it, I updated a few urls I noticed to be outdated. This is somewhat related to #3791 [skip ci]
8dfce868
While at it, I updated a few urls I noticed to be outdated. This is somewhat related to #3791 [skip ci]