[Texmacs-dev] Applied patches for next version

[Joris van der Hoeven]

Hi,

I looked at the following patches for the next version:

3332: Applied
3384: Applied
3385: Applied

3339: In discussion
3376: Applied to unstable version
3404: Please check that this patch works for all types of margin settings;
  see Help -> Reference guide -> Standard environment variables,
  section 5 (in particular page-width-margin and page-height-margin).
3410: Still under development

Yours, Joris