Ubuntu
ubuntu-mono package

  1. Bug #748861
  2. Comment #39

Comment 39 for bug 748861

Revision history for this message
Rainer Rohde (rainer-rohde) wrote :

Perfect. Thank you. I just stepped up to 13.04 and this fix is a nice, albeit long overdue, surprise. Looks nice.