Correction d’une deadlock possible au chargement de fichiers avec annulations lorsque le nombre d’annulations possibles a été changé. Correction de problèmes d’accentués dans la recherche dans l’interface. Dans PDFtoMusic nouvelle option de correction des polices pour donner toute priorité à l’unicode. |