From b3416f4a5e6c47a3f5a5382e30f58330a3490090 Mon Sep 17 00:00:00 2001 From: Rohit Yadav Date: Fri, 5 Dec 2014 23:01:32 +0530 Subject: [PATCH] pr: close invalid, or non-applicable Github PRs PR #1 -> too old to merge 4.2 on master now PR #4 -> too old to merge 4.3 on master now PR #5 -> source repo/branch deleted, not available now This closes #1 This closes #4 This closes #5 This is an empty git commit. Signed-off-by: Rohit Yadav