same method for dropping revision information and providing revision
information
Merge branch 'master' of https://github.com/plt-tud/r43ples.git