Merge a6229133a5ce746ce3c7c3bf81f08f16bbdef6a5 into df129c7ba30aaa9ffffb81a48f53aa7253b0b4e6

This commit is contained in:
Jason N. White 2025-01-01 01:01:27 -05:00 committed by GitHub
commit 6fd3cee42b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -186,7 +186,7 @@
same "printed page" as the copyright notice for easier
identification within third-party archives.
Copyright 2017 Karl Kroening
Copyright 2025 Karl Kroening
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.