Def Bundle.TotalSpace.trivialSnd

Modification history