Coverage remained the same at 97.383% when pulling 10205061a1d397d4878b7f4ff18e53c146b472ec on vonglasow:bors into 28174caf3be01144e7e213fce75598404570e094 on hoaproject:master.
Coverage remained the same at 97.383% when pulling 10205061a1d397d4878b7f4ff18e53c146b472ec on vonglasow:bors into 28174caf3be01144e7e213fce75598404570e094 on hoaproject:master.
Address hoaproject/Central#81.