Merge branch 'master' of git+ssh://git.taler.net/var/git/exchange

doc/paper/taler.tex

@@ -65,7 +65,7 @@
 \begin{document}
 \mainmatter
 
-%\author{Florian Dold \and Sree Harsha Totakura \and Benedikt M\"uller \and Christian Grothoff}
+%\author{Florian Dold \and Sree Harsha Totakura \and Benedikt M\"uller \and Jeff Burdges \and Christian Grothoff}
 %\institute{The GNUnet Project}
 
 
@@ -91,21 +91,20 @@ citizen's needs for private economic activity.
 
 \section{Introduction}
 
-The design of payment systems shapes economies and societies.
+The design of payment systems shapes economies and societies.  Strong,
-Strong, developed nation states are evolving towards transparent
+developed nation states are evolving towards transparent payment
-payment systems, such as the MasterCard and VisaCard credit card
+systems, such as the MasterCard and VisaCard credit card schemes and
-schemes and computerized bank transactions such as SWIFT.
+computerized bank transactions such as SWIFT.  These systems enable
-These systems enable mass surveillance by both governments and
+mass surveillance by both governments and private companies.  Aspects
-private companies, chilling customer activity~\cite{???}.
+of this government control benefit the economy, by enabling taxation
-Aspects of this government control benifit the economy, by enabling
+(also called anti-money laundering).  As a result, bribery and
-taxation.  Also, bribery and corruption are limited to elites who
+corruption are limited to elites who can afford to escape the dragnet.
-can afford to escape the dragnet.
 At the other extreme, weaker developing nation states have economic
-activity based largely on coins, paper money or even barter.
+activity based largely on coins, paper money or even barter.  Here,
-Here, the state is often unable to effectively monitor or tax economic
+the state is often unable to effectively monitor or tax economic
-activity, and this limits the ability of the state to shape the society.
+activity, and this limits the ability of the state to shape the
-As bribery is virtually impossible to detect, corruption is widespread
+society.  As bribery is virtually impossible to detect, corruption is
-and not limited to social elites.
+widespread and not limited to social elites.
 %
 ZeroCoin~\cite{miers2013zerocoin} is an example for translating an
 anarchistic economy into the digital realm.
@@ -133,7 +132,7 @@ instantly that a transaction is valid.
 \begin{figure}[h]
 \centering
 \begin{tikzpicture}
- \tikzstyle{def} = [node distance= 5em and 7em, inner sep=1em, outer sep=.3em];
+ \tikzstyle{def} = [node distance= 1em and 11em, inner sep=1em, outer sep=.3em];
  \node (origin) at (0,0) {};
  \node (exchange) [def,above=of origin,draw]{Exchange};
  \node (customer) [def, draw, below left=of origin] {Customer};
@@ -195,11 +194,8 @@ Yet, there are several major irredeemable problems inherent in their designs:
   \item Bitcoin transactions have pseduononymous recipients, making taxation
     hard to systematically enforce.
     The Zerocoin extension makes this worse.
-% FIXME: need refs for following claim:
+  \item Bitcoin introduces a new currency, creating additional
-  \item Bitcoin seemingly requires speculation to offset the mining cost,
+    financial risks from currency fluctuation.
-    creating fluctuations in value, and making it hard to bind to national
-    currencies.  These fluctuations may be desirable in a high-risk investment
-    instrument, but they make Bitcoin unsuitable as a medium of exchange.
   \item Anyone can start an alternative Bitcoin transaction chain,
     called an AltCoin, and, if successful, reap the benefits of the low
     cost to initially create coins cheaply as the proof-of-work
@@ -212,15 +208,13 @@ Yet, there are several major irredeemable problems inherent in their designs:
     % currency exchange and exacerbates the problems with currency fluctuations.
 \end{itemize}
 
-GreenCoinX\footnote{\url{https://www.greencoinx.com/}} is a more
+%GreenCoinX\footnote{\url{https://www.greencoinx.com/}} is a more
-recent AltCoin where the company promises to identify the owner of
+%recent AltCoin where the company promises to identify the owner of
-each coin via e-mail addresses and phone numbers.  While it is unclear
+%each coin via e-mail addresses and phone numbers.  While it is unclear
-from their technical description how this identification would be
+%from their technical description how this identification would be
-enforced against a determined adversary, the resulting payment system
+%enforced against a determined adversary, the resulting payment system
-would also merely impose a totalitarian financial panopticon on a
+%would also merely impose a financial panopticon on a BitCoin-style
-BitCoin-style money supply and transaction model, thus largely
+%money supply and transaction model.
-combining what we would consider to be the drawbacks of existing
-credit card systems.
 
 \subsection{Chaum-style electronic cash}
 
@@ -239,10 +233,10 @@ include:
    recover funds from delinquent customers via the legal system.
    Any system that fails to be self-enforcing creates a major
    business risk for the exchange and merchants.
-   In 1983, there were merchants without network connectivity, making that
+%   In 1983, there were merchants without network connectivity, making that
-   feature relevant, but today network connectivity is feasible for most
+%   feature relevant, but today network connectivity is feasible for most
-   merchants, and saves both the exchange and merchants the business risks
+%   merchants, and saves both the exchange and merchants the business risks
-   associated with deferred fraud detection.
+%   associated with deferred fraud detection.
  \item % In addition to the risk of legal disputes with fraudulent
    % merchants and customers,
    Chaum's published design does not clearly
@@ -294,21 +288,21 @@ to what degree the implementation is even complete.  Only a partial
 description of the Opencoin protocol is available to date.
 
 
-\subsection{Peppercoin}
+%\subsection{Peppercoin}
 
-Peppercoin~\cite{rivest2004peppercoin} is a microdonation protocol.
+%Peppercoin~\cite{rivest2004peppercoin} is a microdonation protocol.
-The main idea of the protocol is to reduce transaction costs by
+%The main idea of the protocol is to reduce transaction costs by
-minimizing the number of transactions that are processed directly by
+%minimizing the number of transactions that are processed directly by
-the exchange.  Instead of always paying, the customer ``gambles'' with the
+%the exchange.  Instead of always paying, the customer ``gambles'' with the
-merchant for each microdonation.  Only if the merchant wins, the
+%merchant for each microdonation.  Only if the merchant wins, the
-microdonation is upgraded to a macropayment to be deposited at the
+%microdonation is upgraded to a macropayment to be deposited at the
-exchange.  Peppercoin does not provide customer-anonymity.  The proposed
+%exchange.  Peppercoin does not provide customer-anonymity.  The proposed
-statistical method by which exchanges detect fraudulent cooperation between
+%statistical method by which exchanges detect fraudulent cooperation between
-customers and merchants at the expense of the exchange not only creates
+%customers and merchants at the expense of the exchange not only creates
-legal risks for the exchange, but would also require that the exchange learns
+%legal risks for the exchange, but would also require that the exchange learns
-about microdonations where the merchant did not get upgraded to a
+%about microdonations where the merchant did not get upgraded to a
-macropayment.  It is therefore unclear how Peppercoin would actually
+%macropayment.  It is therefore unclear how Peppercoin would actually
-reduce the computational burden on the exchange.
+%reduce the computational burden on the exchange.
 
 
 \section{Design}
@@ -519,7 +513,7 @@ shared with others, they become co-owners of the coin.  Knowledge of
 the private key of the coin enables the owner to spent the coin.
 
 
-\subsection{Coin spending}
+% \subsection{Coin spending}
 
 A customer spends a coin at a merchant by cryptographically signing a
 {\em deposit authorization} with the coin's private key.  A deposit
@@ -1157,6 +1151,12 @@ the participants have to disclose their core secrets.
 \bibliographystyle{alpha}
 \bibliography{taler,rfc}
 
+\vfill
+\begin{center}
+ \Large  Demonstration available at \url{https://demo.taler.net/}
+\end{center}
+\vfill
+
 \newpage
 \appendix
 

src/bank-lib/bank_api_admin.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/bank-lib/fakebank.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/bank-lib/test_bank_api.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file bank/test_bank_api.c

src/bank-lib/test_bank_api_with_fakebank.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file bank/test_bank_api_with_fakebank.c

src/bank-lib/test_bank_interpreter.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file bank/test_bank_interpreter.c

src/bank-lib/test_bank_interpreter.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file bank/test_bank_interpreter.h

src/benchmark/taler-exchange-benchmark.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Lesser General Public License for more details.
 
   You should have received a copy of the GNU Lesser General Public License along with
-  TALER; see the file COPYING.LGPL.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.LGPL.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file src/benchmark/taler-exchange-benchmark.c

src/exchange-lib/exchange_api_admin.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_common.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_common.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_deposit.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_handle.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_handle.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_refresh.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_refresh_link.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_refund.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_reserve.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_track_transaction.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_track_transfer.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/exchange_api_wire.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see
+  TALER; see the file COPYING.  If not, see
   <http://www.gnu.org/licenses/>
 */
 /**

src/exchange-lib/test_exchange_api.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchange/test_exchange_api.c

src/exchange-tools/taler-auditor-sign.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-auditor-sign.c

src/exchange-tools/taler-exchange-dbinit.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchange-tools/taler-exchange-dbinit.c

src/exchange-tools/taler-exchange-keycheck.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-keycheck.c

src/exchange-tools/taler-exchange-keyup.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-keyup.c

src/exchange-tools/taler-exchange-reservemod.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-reservemod.c

src/exchange-tools/taler-exchange-wire.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-wire.c

src/exchange/taler-exchange-aggregator.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/exchange/taler-exchange-httpd.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**
@@ -897,7 +897,7 @@ open_unix_path (const char *unix_path,
     return -1;
   }
 
-  if (0 != chmod (serve_unixpath,
+  if (0 != chmod (unix_path,
                   unix_mode))
   {
     fprintf (stderr,

src/exchange/taler-exchange-httpd.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd.h

src/exchange/taler-exchange-httpd_admin.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_admin.c

src/exchange/taler-exchange-httpd_admin.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_admin.h

src/exchange/taler-exchange-httpd_db.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_db.c

src/exchange/taler-exchange-httpd_db.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchange/taler-exchange-httpd_db.h

src/exchange/taler-exchange-httpd_deposit.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_deposit.c

src/exchange/taler-exchange-httpd_deposit.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_deposit.h

src/exchange/taler-exchange-httpd_keystate.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_keystate.c

src/exchange/taler-exchange-httpd_keystate.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchange/taler-exchange-httpd_keystate.h

src/exchange/taler-exchange-httpd_mhd.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/exchange/taler-exchange-httpd_mhd.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/exchange/taler-exchange-httpd_parsing.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/exchange/taler-exchange-httpd_parsing.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_parsing.h

src/exchange/taler-exchange-httpd_refresh.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_refresh.c

src/exchange/taler-exchange-httpd_refresh.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_refresh.h

src/exchange/taler-exchange-httpd_refund.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_refund.c

src/exchange/taler-exchange-httpd_refund.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_refund.h

src/exchange/taler-exchange-httpd_reserve.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_reserve.c

src/exchange/taler-exchange-httpd_reserve.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_reserve.h

src/exchange/taler-exchange-httpd_responses.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_responses.c

src/exchange/taler-exchange-httpd_responses.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/exchange/taler-exchange-httpd_test.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_test.c

src/exchange/taler-exchange-httpd_test.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_test.h

src/exchange/taler-exchange-httpd_tracking.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_tracking.c

src/exchange/taler-exchange-httpd_tracking.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_tracking.h

src/exchange/taler-exchange-httpd_validation.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/exchange/taler-exchange-httpd_validation.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/exchange/taler-exchange-httpd_wire.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_wire.c

src/exchange/taler-exchange-httpd_wire.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler-exchange-httpd_wire.h

src/exchange/test_taler_exchange_aggregator.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/exchangedb/exchangedb_auditorkeys.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchangedb/exchangedb_auditorkeys.c

src/exchangedb/exchangedb_denomkeys.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchangedb/exchangedb_denomkeys.c

src/exchangedb/exchangedb_plugin.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchangedb/exchangedb_plugin.c

src/exchangedb/exchangedb_signkeys.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchangedb/exchangedb_signkeys.c

src/exchangedb/perf_taler_exchangedb.c

@@ -11,7 +11,7 @@
    A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License along with
-   TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+   TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
    */
 /**
  * @file exchangedb/perf_taler_exchangedb.c

src/exchangedb/perf_taler_exchangedb_init.c

@@ -11,7 +11,7 @@
    A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License along with
-   TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+   TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
    */
 /**
  * @file exchangedb/perf_taler_exchangedb_init.c

src/exchangedb/perf_taler_exchangedb_init.h

@@ -11,7 +11,7 @@
    A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License along with
-   TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+   TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
    */
 /**
  * @file exchangedb/perf_taler_exchangedb_init.h

src/exchangedb/perf_taler_exchangedb_interpreter.c

@@ -11,7 +11,7 @@
    A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License along with
-   TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+   TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
    */
 /**
  * @file exchangedb/perf_taler_exchangedb_interpreter.c

src/exchangedb/perf_taler_exchangedb_interpreter.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchangedb/perf_taler_exchangedb_interpreter.h

src/exchangedb/perf_taler_exchangedb_values.h

@@ -11,7 +11,7 @@
    A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License along with
-   TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+   TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
    */
 /**
  * @file exchangedb/perf_taler_exchangedb_values.h

src/exchangedb/plugin_exchangedb_common.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchangedb/plugin_exchangedb_common.c

src/exchangedb/plugin_exchangedb_postgres.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/exchangedb/test_exchangedb.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchangedb/test_exchangedb.c

src/exchangedb/test_exchangedb_auditors.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchangedb/test_exchangedb_auditors.c

src/exchangedb/test_exchangedb_denomkeys.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchangedb/test_exchangedb_denomkeys.c

src/exchangedb/test_exchangedb_signkeys.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file exchangedb/test_exchangedb_signkeys.c

src/exchangedb/test_perf_taler_exchangedb.c

@@ -11,7 +11,7 @@
    A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License along with
-   TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+   TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
    */
 /**
  * @file exchangedb/test_perf_taler_exchangedb.c

src/include/platform.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/include/taler_amount_lib.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_amount_lib.h

src/include/taler_bank_service.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_bank_service.h

src/include/taler_crypto_lib.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_crypto_lib.h

src/include/taler_error_codes.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler_error_codes.h

src/include/taler_exchange_service.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU Affero General Public License for more details.
 
   You should have received a copy of the GNU Affero General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_exchange_service.h

src/include/taler_exchangedb_lib.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_exchangedb_lib.h

src/include/taler_exchangedb_plugin.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_exchangedb_plugin.h

src/include/taler_fakebank_lib.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/include/taler_json_lib.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_json_lib.h

src/include/taler_pq_lib.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_pq_lib.h

src/include/taler_signatures.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file taler_signatures.h

src/include/taler_util.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_util.h

src/include/taler_util_wallet.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_util_wallet.h

src/include/taler_wire_lib.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_wire_lib.h

src/include/taler_wire_plugin.h

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file include/taler_wire_plugin.h

src/json/json.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file json/json.c

src/json/json_helper.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file json/json_helper.c

src/json/test_json.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 
 /**

src/pq/pq_query_helper.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file pq/pq_query_helper.c

src/pq/pq_result_helper.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file pq/pq_result_helper.c

src/pq/test_pq.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file pq/test_pq.c

src/util/amount.c

@@ -11,7 +11,7 @@
   A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
   You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
 */
 /**
  * @file util/amount.c