id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,field_blocks,field_dependson,field_seealso 449,devctl and locinfo should print driver and server names,Jiri Svoboda,,"devctl and locinfo output would be more informative if they included driver/server name for each function/service. The numerical IDs could, on the other hand, be probably removed, since you can't use them as shorthand in place of the full textual name, at least not at the moment.",enhancement,closed,major,0.5.0,helenos/unspecified,mainline,fixed,,,,,#217