[general] line printer is back

david (11/08/82)

The line printer is back in service.  Any jobs that
were submitted on Friday and were not printed will
have to be resubmitted.