* commit '8031fa014cd9f8bb9eb7de47b76a732cdfade687': Fix build due to @deprecated tag not having content