diff --git a/stub b/stub new file mode 100644 index 00000000..fa04a467 --- /dev/null +++ b/stub @@ -0,0 +1 @@ +Do not actually merge this, this is for testing PR with travis-ci.