# HG changeset patch # User Dave Love # Date 961774746 0 # Node ID a8aa856c28264e83a477fe446635dfe80af96a17 # Parent fc97c5f5f42505b6b6fa2ab7bbe012363bfa5863 Check for OSF 5+.