-
Anton Shestakov authored
Apparently it's required, even though the comment is kind of vague on this account? Anyway, the warning during docs building is gone.
c77bbd1adeee
Apparently it's required, even though the comment is kind of vague on this account? Anyway, the warning during docs building is gone.