[commits] Horde annotated tag turba-4.2.12 created. 00c7e35a9d427e020d7379b62f98ee6c82497962

[Jan Schneider]

The annotated tag "turba-4.2.12" has been created.
        at  00c7e35a9d427e020d7379b62f98ee6c82497962 (tag)
   tagging  3489895c897b89b5c5f5d0f5112193680206fe22 (commit)
  replaces  ingo-3.2.8
 tagged by  Jan Schneider
        on  Tue Feb 2 13:03:29 2016 +0100

-----------------------------------------------------------------------
Released turba-4.2.12.

Jan Schneider (2):
      Development mode for ingo-3.2.9
      Released turba-4.2.12