From: Razvan Becheriu Date: Wed, 21 Jun 2023 17:37:42 +0000 (+0300) Subject: [#2898] reverted mt19937_64 to mt19937 X-Git-Tag: Kea-2.4.0~116 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=be6c201a9379748482676af790929023b1828afd;p=thirdparty%2Fkea.git [#2898] reverted mt19937_64 to mt19937 --- diff --git a/doc/examples/kea4/all-keys-netconf.json b/doc/examples/kea4/all-keys-netconf.json index 2d3dab0d9d..27e87fcd35 100644 --- a/doc/examples/kea4/all-keys-netconf.json +++ b/doc/examples/kea4/all-keys-netconf.json @@ -994,7 +994,7 @@ // Pool identifier used to enable statistics for this pool. // The pool ID does not need to be unique within the subnet // or across subnets. - // If not unconfigured, it default to 0. The statistics + // If not unconfigured, it defaults to 0. The statistics // regarding this pool will be merged with the other statistics // of all other pools with the same pool ID in this subnet. "pool-id": 1 diff --git a/doc/examples/kea4/all-keys.json b/doc/examples/kea4/all-keys.json index a0c586658b..eb9926cdca 100644 --- a/doc/examples/kea4/all-keys.json +++ b/doc/examples/kea4/all-keys.json @@ -994,7 +994,7 @@ // Pool identifier used to enable statistics for this pool. // The pool ID does not need to be unique within the subnet // or across subnets. - // If not unconfigured, it default to 0. The statistics + // If not unconfigured, it defaults to 0. The statistics // regarding this pool will be merged with the other statistics // of all other pools with the same pool ID in this subnet. "pool-id": 1 diff --git a/doc/examples/kea6/all-keys-netconf.json b/doc/examples/kea6/all-keys-netconf.json index 634d666ed9..768956de94 100644 --- a/doc/examples/kea6/all-keys-netconf.json +++ b/doc/examples/kea6/all-keys-netconf.json @@ -954,7 +954,7 @@ // Pool identifier used to enable statistics for this pool. // The pool ID does not need to be unique within the subnet // or across subnets. - // If not unconfigured, it default to 0. The statistics + // If not unconfigured, it defaults to 0. The statistics // regarding this pool will be merged with the other statistics // of all other pools with the same pool ID in this subnet. "pool-id": 1 diff --git a/doc/examples/kea6/all-keys.json b/doc/examples/kea6/all-keys.json index 38d4bcd4a4..ea1768b999 100644 --- a/doc/examples/kea6/all-keys.json +++ b/doc/examples/kea6/all-keys.json @@ -954,7 +954,7 @@ // Pool identifier used to enable statistics for this pool. // The pool ID does not need to be unique within the subnet // or across subnets. - // If not unconfigured, it default to 0. The statistics + // If not unconfigured, it defaults to 0. The statistics // regarding this pool will be merged with the other statistics // of all other pools with the same pool ID in this subnet. "pool-id": 1