users-guide: Add 8.12.1 release notes

Authored by bgamari on Nov 11 2019, 10:40 PM.

Description

users-guide: Add 8.12.1 release notes

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Dec 3 2019, 8:04 PM
Parents
rGHC7a51b587ad6a: Add constant folding rule (#16402)
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC10caee7fd3f0: users-guide: Add 8.12.1 release notes (authored by bgamari).Dec 3 2019, 8:04 PM