Source position: googleappengine.pp line 1298
type TAppsServicesPatchOptions = record
mask: string;
migrateTraffic: Boolean;
end;