You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Unfortunately git shortlog -s -e -- doc doesn't gives us a useful list of people to obtain permission from, because the git history doesn't go back far enough :-(
Just found https://www.gnu.org/prep/maintain/html_node/License-Notices-for-Documentation.html#License-Notices-for-Documentation and then discovered this TODO which led me to find some ancient email:
See also #44 (Apply GPL v3 to all files).
The text was updated successfully, but these errors were encountered: