[taler-docs] branch master updated: squelch warning

[gnunet]

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

dold pushed a commit to branch master
in repository docs.

The following commit(s) were added to refs/heads/master by this push:
     new 5b4bd18  squelch warning
5b4bd18 is described below

commit 5b4bd1812d40c3e40f4650774c034908fc9ee7ff
Author: Florian Dold <florian.dold@gmail.com>
AuthorDate: Wed Jun 24 18:11:30 2020 +0530

    squelch warning
---
 developers-manual.rst | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/developers-manual.rst b/developers-manual.rst
index 6e0bc30..2f1fbfd 100644
--- a/developers-manual.rst
+++ b/developers-manual.rst
@@ -1340,11 +1340,6 @@ use when talking to end users or even system 
administrators.
     a list of :term:`contract terms` that has been completed and signed by the
     merchant backend.
 
-  reserve
-    Funds set aside for future use; either the balance of a customer at the
-    exchange ready for withdrawal, or the funds kept in the exchange;s bank
-    account to cover obligations from coins in circulation.
-
   refresh
   refreshing
     operation by which a :term:`dirty coin` is converted into one or more
@@ -1371,6 +1366,10 @@ use when talking to end users or even system 
administrators.
     :term:`coins` from the reserve, thereby draining the reserve. If a
     reserve is not drained, the exchange eventually :term:`closes` it.
 
+    Other definition: Funds set aside for future use; either the balance of a 
customer at the
+    exchange ready for withdrawal, or the funds kept in the exchange;s bank
+    account to cover obligations from coins in circulation.
+
   reveal
   revealing
     step in the :term:`refresh` protocol where some of the transfer private

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