Revision 556928cabd519a23aa7a3be6e931404ae8581c4a

Committed on 22/06/2012 1:55 am by Björn Dieding <bjoern@xrow.de> [GitHub Diff]

- operator was moved into kernel