Add missing copyright header. Thanks, Mike!
authorJan Nieuwenhuizen <janneke@gnu.org>
Fri, 20 Jul 2018 04:40:51 +0000 (06:40 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Fri, 20 Jul 2018 04:40:51 +0000 (06:40 +0200)
commit3d8dcf8f705e5036816687148525a7c20cb70361
tree96e42357e7f507e26b26d7e98524a82a6239fa5a
parentde9134711eade0615af27629bf6598e91653e81e
Add missing copyright header.  Thanks, Mike!

* guile/gc.c: Add missing copyright header.  Thanks, Mike!
guile/gc.scm