Add Tools plugin for managing navigation_extra_tools and devel links.
Warning
Kris Booghmans
created pipeline for commit
3e58b83f
, finished
For 1.0.x
2 minutes 50 seconds, queued for 4 seconds