[rmf-dev] Bugzilla updated, Milestone created

[Michael Jastram <michael@xxxxxxxxxx>]

I created a milestone in bugzilla called m12.01 and started to assign
the bugs that should be fixed in that milestone build.  Here is a query
that shows you those bugs.

https://bugs.eclipse.org/bugs/buglist.cgi?query_format=advanced;list_id=45203;field0-0-0=target_milestone;type0-0-0=equals;columnlist=target_milestone%2Cbug_severity%2Cpriority%2Cassigned_to%2Cbug_status%2Cresolution%2Cshort_desc;value0-0-0=m12.01;product=MDT.RMF

Bugzilla should now be in a reasonable state.  Feel free to browse and
add new bugs (if you find any :-)).

- Michael

-- 
Michael Jastram (http://www.jastram.de, +49 (162) 274 83 94)
Geschäftsführer, Formal Mind GmbH (http://formalmind.com)
Wissenschaftler, Heinrich Heine Universität Düsseldorf (http://www.stups.uni-duesseldorf.de)
1. Vorsitzender, rheinjug e.V. (http://www.rheinjug.de)