Merge andi-0.12-3 from debian

[Fabian Klötzl]

The last version pulled before the debian import freeze (0.12-1) unfortunately had some issues that made the unit tests fail randomly. Thus, the builds didn't go through. I am happy to announce that the issues were resolved in 0.12-3 in debian testing, and would be grateful if that version also came with the next ubuntu release.

Thanks in advance,
Fabian

Here is the changelog:

andi (0.12-3) unstable; urgency=medium

  * Allow for parallelisation of unit tests. Really fixes build failures.

 -- Fabian Klötzl <email address hidden> Wed, 07 Mar 2018 12:12:24 +0100

andi (0.12-2) unstable; urgency=medium

  [ Fabian Klötzl ]
  * Derandomize unit tests. Fixes build failures.

  [ Andreas Tille ]
  * Standards-Version: 4.1.3
  * debhelper 11

 -- Fabian Klötzl <email address hidden> Mon, 05 Mar 2018 15:11:27 +0100

[Fabian Klötzl (kloetzl)]

This looks fixed, as far as I can tell.