From 20d47d5c210054fcea5810048482c8c3d3e0ef91 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Tue, 17 Dec 2024 16:40:33 +0100
Subject: [PATCH] add maintenance intent

---
 webauthn.opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/webauthn.opam b/webauthn.opam
index ba7bbc6..4430fd0 100644
--- a/webauthn.opam
+++ b/webauthn.opam
@@ -57,3 +57,4 @@ storage.
 [Demo server](https://webauthn-demo.robur.coop)
 [WebAuthn specification at W3C](https://w3c.github.io/webauthn/)
 """
+x-maintenance-intent: [ "(latest)" ]