workbench.library 45.138

Une nouvelle version avec une erreur corrigée : les copies se font maintenant avec R_CopyMem plutôt qu'avec R_CopyMemQuick...

Archive disponible au même endroit, ici.