On Thu, Oct 5, 2017 at 4:51 PM, Aaron Halfaker wrote:
> Before anyone comes up with something weird, JADE is pronounced like the
> ornamental rock. https://en.wikipedia.org/wiki/Jade :)
Since we're discussing the name, there used to be a nodejs templating
language
​Hello all!
With Daniel out, I volunteered to send this email. Find below the
streamlined minutes of the last meeting of the Technical Committee. When
Daniel returns, he'll fill in any details I may have missed.
* RFC Approved: Introduce InterruptMutexManager. There was no further
discussion, so