File r38/patches.tst artifact 34f5f2711f part of check-in d58ccc1261
% This file tests some of the patches included in the patches.red file. % If the latter file has been correctly installed, none of these should % give an error. end;
% This file tests some of the patches included in the patches.red file. % If the latter file has been correctly installed, none of these should % give an error. end;