Merge commit '65dc7ca4c8e7e56362626a5d31e563e80108f104'
authorClément Bœsch <u@pkh.me>
Sat, 25 Jun 2016 09:46:08 +0000 (11:46 +0200)
committerClément Bœsch <u@pkh.me>
Sat, 25 Jun 2016 09:46:08 +0000 (11:46 +0200)
commitc7babd50de24052e41f534b38f05e59d8cb5d5e1
treed2a4ddcd3810ff9c6b811e1e0973987a593c647f
parent2ab823d4a6ef1f96961a82fcf5100a5a46917d0e
parent65dc7ca4c8e7e56362626a5d31e563e80108f104
Merge commit '65dc7ca4c8e7e56362626a5d31e563e80108f104'

* commit '65dc7ca4c8e7e56362626a5d31e563e80108f104':
  Add release notes for 12.

This commit is a noop, but we absolutely need someone to write the
release notes.

Merged-by: Clément Bœsch <u@pkh.me>