---
title: Document when current coverage configuration option was introduced
merge_request: 9443
author: