Setting a Patch Number

To set a patch number as the current patch number, perform one of the following actions

The patch control hook is called with user-name, patch-number, "", "", "", 0. (For details, see "Patch Control Hook", in Chapter 2 of the JADE Object Manager Guide.) See also "Setting Up a Patch Number", earlier in this chapter.