diff --git a/docs/options.md b/docs/options.md
index ad7cd0d56d..5e90579d38 100644
--- a/docs/options.md
+++ b/docs/options.md
@@ -224,3 +224,7 @@ with info about your project (name and website) so we can add an entry for you.
 1. Wire since and until
    * Website: https://square.github.io/wire/
    * Extensions: 1076, 1077
+
+1. Bazel, Failure Details
+   * Website: https://github.com/bazelbuild/bazel
+   * Extensions: 1078