-### 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
-
-* [Bug #839](https://bugs.libre-soc.org/show_bug.cgi?id=839):
- 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
-