tree a66ce4445746c1f0021ea38f6ae79bfd1aaa3975
parent 807a7e3bbdb437f1ff9309d531429f5fc852a51a
author Jan Bartel <janb@intalio.com> 1418396584 +0100
committer Jan Bartel <janb@intalio.com> 1418396584 +0100

Update to 3.1.0.M3 of jetty-osgi-servlet-api, and put it back into the source feature.