deal.ii (9.7.1-5) unstable; urgency=medium
 .
   [ Matthias Maier ]
   * Double the TEST_TIME_LIMIT to 1200 sec