Changeset 53441

Timestamp:
May 30, 2009, 10:34:37 AM (13 years ago)
Author:
Vladimir Prus
Message:

Properly convert original_tokens and unregistered to woption.

Fixes #2425.

(No files)

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