id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 40444,mars @4.3: Please update to version 4.4,maehne,ryandesign,"Please update the mars port from version 4.3 to version 4.4 by applying the attached patch file to this ticket. The updated Portfile also applies a patch to work around a known bug in the jedit-based Editor of MARS, which prevents entering special characters requiring the ALT key. This patch was already sent upstream, but didn't make it into the new version. The patch is only applied on Darwin as is created the App bundle. PLease check if I got the platform-dependent destroot sections right.",update,closed,Normal,,ports,2.2.0,fixed,haspatch maintainer,,mars