From 9ce85db9c944fa3cd96732c04c1851fba71cf9bb Mon Sep 17 00:00:00 2001 From: Oliver Dunk Date: Wed, 3 Apr 2024 10:48:36 +0000 Subject: [PATCH] Merge pull request #582 from rdcronin/update_api_proposal_with_behavior_section SHA: b0a84d4fb113f373088c434c9850610e07513c61 Reason: push, by oliverdunk Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> --- specification/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/specification/index.html b/specification/index.html index 6b158183..9627d8a4 100644 --- a/specification/index.html +++ b/specification/index.html @@ -7,7 +7,7 @@ - +