Free cookie consent management tool by TermsFeed Policy Generator

Changeset 9224

Timestamp:
02/18/13 15:11:41 (13 years ago)
Author:
ascheibe
Message:

#2005 fixed a small bug that occurred when closing the optimizer with an open hive job manager

(No files)

Note: See TracChangeset for help on using the changeset viewer.