diff --git a/registry.txt b/registry.txt
index d6fe2de5..5c107865 100644
--- a/registry.txt
+++ b/registry.txt
@@ -6848,3 +6848,4 @@ https://github.com/ALICHOUCHENE/Qmi8658c.git|Contributed|Qmi8658c
 https://github.com/x-radio/EEBoom.git|Contributed|EEBoom
 https://github.com/zumatt/Supabase-ESP32.git|Contributed|Supabase-ESP32
 https://github.com/ojw5014/OpenJigWare_A.git|Contributed|OpenJigWare_A
+https://github.com/RobTillaart/float16ext.git|Contributed|float16ext