[commits] Horde annotated tag ingo-3.2.12 created. 7cc4da51fc44f0e2e9059541906d7ab4daa05383

[Jan Schneider]

The annotated tag "ingo-3.2.12" has been created.
        at  7cc4da51fc44f0e2e9059541906d7ab4daa05383 (tag)
   tagging  6e4f9d1beb7b0ee588fdce08f82bd6004995594d (commit)
  replaces  imp-6.2.16
 tagged by  Jan Schneider
        on  Tue Sep 6 18:09:04 2016 +0200

-----------------------------------------------------------------------
Released ingo-3.2.12.

Jan Schneider (2):
      Development mode for imp-6.2.17
      Released ingo-3.2.12