Changes

#4 (Mar 18, 2025, 2:41:31 PM)

1. Ignore attributes warning — Daniel Arndt / githubweb

#3 (Mar 15, 2025, 10:20:31 PM)

1. Apply my suggestion to avoid playing ping pong — noreply / githubweb

#2 (Mar 15, 2025, 7:27:50 PM)

1. Make sure some symbols have external linkage. — bangerth / githubweb