chiark / gitweb /
DESIGN: mention need for restarting base updates in case of new deps
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Jan 2012 23:30:37 +0000 (23:30 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Jan 2012 23:30:37 +0000 (23:30 +0000)
commit47d533722a17175a58abd30d35f4aa36f8e2e3bd
tree3f0ec461796435c96fc4b2e5a5ebef9fd02e8eb9
parent3cef5f54091fb536fb77af9a33838a631fbf6738
DESIGN: mention need for restarting base updates in case of new deps
DESIGN