File r38/patches.tst artifact 34f5f2711f part of check-in a57e59ec0d

% 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;