id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,blockedby,blocking,branch_state,votes 3138,redo is broken,ossi,,"1. open an existing text file 2. delete a few lines 3. undo the deletions with ctrl-u 4. try to redo them with alt-r 5. watch Weird Things ® happen or this: 1. open file 2. move around 3. undo 4. redo ",defect,new,major,Future Releases,mcedit,master,,,,,,no branch,