24057dcb6a
We realized that there's really no good place to put these dev facing bulletins, and the user-facing release notes aren't really the worst place to put them, I guess, and we do kind of hope that it converts users to devs. Change-Id: Id9387b2964fe291cb5a3f74ad6344157f19b540c |
||
---|---|---|
.. | ||
build-release-notes.nix | ||
build-release-notes.py | ||
buildtime_report.sh | ||
check-headers.nix | ||
check-headers.sh | ||
issue_import.py | ||
release-notes | ||
upload_manual.sh |