View Revisions: Note 8151

Summary 0004320: Error compiling in Linux after latest commit to git.