History log of /seL4-l4v-10.1.1/HOL4/doc/kananaskis-12.release.md
Revision Date Author Comments
# 734aaec1 19-Jun-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Add words to release notes about Mike


# 3eb5d369 11-Jun-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Move next-release.md to kananaskis-12.release.md

I don't want to add anything release-note worthy to what is going
to be released.