f84f949048
This information is in git, so it's better to use that as a source than updating this file manually. This script can be run manually at release time for now, or we can set up a cron job sometime in the future. Change-Id: I0344135ceb9c04ed14e2e2d939a93194e35973db |
||
---|---|---|
.. | ||
gen_authors.sh |