Closed Antolius closed 1 year ago
Hey @danirabbit, since Horus is now out (congratulation on the release!) do you think it's time to merge this pull request? Just as a reminder, we postponed merging this to give users time to update the dock to include this improvement, as discussed here.
Hey yes this is on my priority list as well as other docs related tasks :)
Resolve #179 Resolve #180
Second part of changes proposed in https://github.com/elementary/docs/pull/182. This PR: