using git. Aug 19 21:17:54.000 [warn] unknown error for INTRODUCE2 on circ 53605 Aug 19 21:18:17.000 [warn] unknown error for INTRODUCE2 on circ 11793 Aug 19 21:18:49.000 [warn] unknown error for INTRODUCE2 on circ 30079 Aug 19 21:19:03.000 [warn] unknown error for INTRODUCE2 on circ 30079 Aug 19 21:19:36.000 [warn] unknown error for INTRODUCE2 on circ 53605 **Trac**: **Username**: oyvinds