retitle 350792 mia: update developers-reference for the new scripts user [EMAIL PROTECTED] # 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 -- [EMAIL PROTECTED] | http://www.df7cb.de/cs/ Universität des Saarlandes, Compiler Design Lab
signature.asc
Description: Digital signature
