PLEASE IGNORE: dummy pull request 

just for testing whether automatic building with jenkins works