-
Gabor Greif authored
If someone also feels that credits should better go into the release announcement, just nuke the last line of that paragraph.
b626989d
If someone also feels that credits should better go into the release announcement, just nuke the last line of that paragraph.