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
Mostly editorial changes from v0.1. Primary purpose for this release is to work
through the mechanics of cutting a release. Right now it is more labour
intensive than I would like for two reasons:
- The GitHub OAuth key must be manually changed to the person cutting the
release. I would like it to be automatically selected based on who signed
the release tag
- The pre-release flag needs to be manually changed between -pre/-rc and full
releases. This also should be automatically determined based on tag pattern
matching
Content changes include:
* Added more recommended generic node names
* Added interrupts-extended
* Additional phy times
* Filled out detail in source language chapter
* Editorial changes
* Added changebar version to release documents