pea 7cdaafdf15 Update to 0.138 ... ok ajacoutot@		2012-06-26 08:20:48 +00:00
..
patch-pan_gui_gui_cc	Update to pan-0.135 (which uses the new gmime-2.6).	2011-08-30 06:48:49 +00:00