From 9f252678a41bca191db1636a073d25ec91e5dd26 Mon Sep 17 00:00:00 2001
From: steve-chavez <stevechavezast@gmail.com>
Date: Tue, 12 Dec 2023 10:57:47 -0500
Subject: [PATCH] fix: add missing pgrst.server_timing_enabled

---
 docs/references/configuration.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/references/configuration.rst b/docs/references/configuration.rst
index e867cc06a..37558c55a 100644
--- a/docs/references/configuration.rst
+++ b/docs/references/configuration.rst
@@ -832,7 +832,7 @@ server-timing-enabled
   **Default**     False
   **Reloadable**  Y
   **Environment** PGRST_SERVER_TIMING_ENABLED
-  **In-Database** `n/a`
+  **In-Database** pgrst.server_timing_enabled
   =============== =================================
 
   Enables the `Server-Timing <https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Server-Timing>`_ header.