Florian Bruhin ba1ad7d517 Opt-out from regendoc for problematic example (#8810) ... * Opt-out from regendoc for problematic example See #8807 * Add comment		2021-06-28 17:47:49 +00:00
..
en	Opt-out from regendoc for problematic example (#8810)	2021-06-28 17:47:49 +00:00