[taler-docs] branch master updated: -typos

[gnunet]

This is an automated email from the git hooks/post-receive script.

oec pushed a commit to branch master
in repository docs.

The following commit(s) were added to refs/heads/master by this push:
     new 02d4732  -typos
02d4732 is described below

commit 02d4732cb9e53ac3094cd5a1ded1c932ce3964e9
Author: Özgür Kesim <oec-taler@kesim.org>
AuthorDate: Tue Oct 11 15:57:52 2022 +0200

    -typos
---
 design-documents/028-deposit-policies.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/design-documents/028-deposit-policies.rst 
b/design-documents/028-deposit-policies.rst
index bf6c5ec..d0a1b10 100644
--- a/design-documents/028-deposit-policies.rst
+++ b/design-documents/028-deposit-policies.rst
@@ -148,11 +148,11 @@ Invariants
 The following invariants need to be fulfilled and be checked by the auditor:
 
 - The fulfillment state of a policy is **Insufficient** IF AND ONLY IF the
-  amount in ``policy_details.commitment`` is larger than the amount in
+  amount in ``policy_details.commitment`` is equal or larger than the amount in
   ``policy_details.accumulated_total``.
 
 - The sum of amounts in ``policy_details.fee`` and
-  ``policy_details.transferable`` MUST be less or equal to the amount in
+  ``policy_details.transferable`` MUST be equal or less than the amount in
   ``policy_details.accumulated_total``.
 
 - The amount in ``policy_details.accumulated_total`` MUST be equal to the total

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.