(no commit message)

diff --git a/openpower/sv/bitmanip.mdwn b/openpower/sv/bitmanip.mdwn
index 881e9a496a6594ea2d704017cb694743fb1f2cf9..c84c3445e05e42fb153353b258318277721825e7 100644 (file)
--- a/openpower/sv/bitmanip.mdwn
+++ b/openpower/sv/bitmanip.mdwn
@@ -1,5 +1,9 @@
 [[!tag standards]]
 
+# Implementation
+
+* ternlogi <https://bugs.libre-soc.org/show_bug.cgi?id=745>
+
 # TODO
 
 * remove Rc=1 from ternlog due to conflicts in encoding as well