RE: [mylyn-dev] 3.2.1 release and WikiText fonts

["Mik Kersten" <mik@xxxxxxxxxxx>]

Yes, as long as we all like it, since there hasn’t been much feedback.  But it’s a pretty subtle change.  I’ll comment further on the bug.

 

Mik

 

--

Mik Kersten, Ph.D.

CEO: http://tasktop.com/blog

Project Lead: http://eclipse.org/mylyn

 

From: mylyn-dev-bounces@xxxxxxxxxxx [mailto:mylyn-dev-bounces@xxxxxxxxxxx] On Behalf Of David Green
Sent: July-16-09 10:29 AM
To: Mylyn developer discussions
Subject: [mylyn-dev] 3.2.1 release and WikiText fonts

 

Mik,

 

Are you interested in including this in 3.2.1?

 

277507: refine default WikiText fonts

https://bugs.eclipse.org/bugs/show_bug.cgi?id=277507

 

Thanks,

 

David