fix server-timing header section

Also link it to jwt caching
2023-12-02 01:36:26 -05:00
parent f70e852a0a
commit 275bdee47c
4 changed files with 26 additions and 11 deletions
@@ -2,6 +2,8 @@

  This page is a work in progress.

+.. _url_grammar:
+
 URL Grammar
 ===========