[#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 2d3dab0d9d07fa95999034d4a140c0d520c06d78..27e87fcd35b8c77b85c347a868c702861ffebbb4 100644 (file)
--- 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 a0c586658bb4960592844ce26ab177cd92a04de7..eb9926cdca921a1950524d861c8f348dc6336246 100644 (file)
--- 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 634d666ed9204dadbda4c9fceec0f92de941ae70..768956de94ffd1492eca23575394c4a0df02ab50 100644 (file)
--- 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 38d4bcd4a4eb4741478edee9202ca7ff9a9ca1d7..ea1768b999cefd20133710bc1096d5355de04d1f 100644 (file)
--- 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