### NLNet.2019.10.Formal
* [Bug #838](https://bugs.libre-soc.org/show_bug.cgi?id=838):
- sync or at least statically check fields.text, power_decoder, trans\/svp64, CSVs between each other
+ sync or at least statically check fields.text, power_decoder, trans/svp64, CSVs between each other
* [Bug #839](https://bugs.libre-soc.org/show_bug.cgi?id=839):
- SVP64 \/ Extra-V \/ ZOLC whitepaper
+ SVP64 / Extra-V / ZOLC whitepaper
* [Bug #847](https://bugs.libre-soc.org/show_bug.cgi?id=847):
dev\-env\-setup script for binutils-gdb for target powerpc64le\-linux\-gnu