From 280aa408fb97fc1452ca9a89f3860bf192ae80ae Mon Sep 17 00:00:00 2001
From: Balazs Lendvai <56266523+gfx54b@users.noreply.github.com>
Date: Thu, 18 Jan 2024 16:17:46 +0100
Subject: [PATCH] Tag deallocated state with version (#1336)

The operations manual refers to the `Deallocated` state as it was always
available. Actually it is a rather new invention, so it is worth
pointing out that to the reader.
---
 modules/ROOT/pages/clustering/servers.adoc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/modules/ROOT/pages/clustering/servers.adoc b/modules/ROOT/pages/clustering/servers.adoc
index ff14bb167..777ad58ad 100644
--- a/modules/ROOT/pages/clustering/servers.adoc
+++ b/modules/ROOT/pages/clustering/servers.adoc
@@ -14,7 +14,7 @@ A server can exist in five different states within the DBMS:
 * Free
 * Enabled
 * Deallocating
-* Deallocated
+* Deallocated label:new[Introduced in 5.15]
 * Cordoned
 * Dropped
 
@@ -85,7 +85,7 @@ When a server is no longer needed, it cannot be removed from the cluster while i
 The command `DEALLOCATE DATABASE[S] FROM SERVER[S] _server_[,...]` is used to transition servers to the _Deallocating_ state, reallocating all their hosted databases to other servers in the cluster.
 Additionally, servers which are deallocating will not have any further databases allocated to them.
 
-=== Deallocated state
+=== Deallocated state label:new[Introduced in 5.15]
 
 When a server is in the deallocated state it no longer hosts any databases any databases besides system and can be removed from the cluster.
 Additionally, deallocated servers cannot have any further databases allocated to them.