Browse Source

Update notes for submitted changes

* Update API warning filter to 5.1.3
notes/review
Gerrit Code Review @ Eclipse.org 5 years ago
parent
commit
a12cbb52d1
1 changed files with 8 additions and 0 deletions
  1. 8
    0
      1b/ec897ada5f2be6aa4b153ea35d9264c292b458

+ 8
- 0
1b/ec897ada5f2be6aa4b153ea35d9264c292b458 View File

@@ -0,0 +1,8 @@
Verified+1: CI Bot
Code-Review+2: Jonathan Nieder <jrn@google.com>
Code-Review+2: David Pursehouse <david.pursehouse@gmail.com>
Submitted-by: David Pursehouse <david.pursehouse@gmail.com>
Submitted-at: Sun, 07 Oct 2018 21:40:15 -0400
Reviewed-on: https://git.eclipse.org/r/130557
Project: jgit/jgit
Branch: refs/heads/stable-5.1

Loading…
Cancel
Save