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