Coverage remained the same at 97.778% when pulling ada9dbf2613b75be929d84fd264d7b451538412b on jorrit:patch-1 into 70ebe70e11b0d76f8a6f51104bc9b82261f89a52 on joscha:master.
Coverage remained the same at 97.778% when pulling ada9dbf2613b75be929d84fd264d7b451538412b on jorrit:patch-1 into 70ebe70e11b0d76f8a6f51104bc9b82261f89a52 on joscha:master.
I think it was removed by mistake in 0772c9904babf7c45d4cb7459a313cda3bf7ca3e