retitle 350792 mia: update developers-reference for the new scripts user qa.debian.org@packages.debian.org # make new tag usertags 350792 + mia usertags 344847 + mia thanks Hi Bartosz, > I just wanted to check mia database of some developer, so I tried to use > hints available in developers' reference. It states to use mia-history > script available on qa.debian.org host. mia-history has been replaced by mia-query, see the TODO file in that directory. I'll retitle your bug to remind us that we should update the dev-ref. Christoph -- cb@cs.uni-sb.de | http://www.df7cb.de/cs/ Universität des Saarlandes, Compiler Design Lab
Attachment:
signature.asc
Description: Digital signature