As a side note, there is no need to explicitely disable parsing UPLOADER directives because we --disable-dired at configure time, nor EXTERNAL directives as we do not build with --enable-externs. OK mestre@, tb@
As a side note, there is no need to explicitely disable parsing UPLOADER directives because we --disable-dired at configure time, nor EXTERNAL directives as we do not build with --enable-externs. OK mestre@, tb@