Reported by: Teodor <mteodor@gmail.com>;Date: Tue, 4 Jun 2013 08:06:07 UTC;Severity: normal;Tags: moreinfo, unreproducible;Filed 10 years and 347 days ago;Modified 10 years and 344 days ago;
Outstanding bugs -- Minor bugs; Unclassified (1 bug)
Reported by: Eliyahu Simcha Rosenberg <esr@cs.huji.ac.il>;Date: Sun, 12 Apr 2015 12:36:02 UTC;Severity: wishlist;Filed 9 years and 35 days ago;Modified 9 years and 30 days ago;