Ignore:
Timestamp:
2018-05-02T18:38:15+02:00 (6 years ago)
Author:
glebius
Message:

Restore r30224, which was bluntly erased by r31429. To avoid future
"stylistic" changes of license, add extra comment.

File:
1 edited

Legend:

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