chiark / gitweb /
DESIGN: mention need for restarting base updates in case of new deps