Bug#1125503: www.debian.org: inconsistent language for https://www.debian.org/doc/manuals/developers-reference/

[Thomas Lange]

For me it works as expected, so I cannot confirm this bug.

-- 
regards Thomas