Branch: refs/heads/Wadeck-patch-patch-2
Home: https://github.com/jenkins-infra/update-center2
Commit: 3c1506d2a73d236839d5c5b518628d07e7698992
https://github.com/jenkins-infra/update-center2/commit/3c1506d2a73d236839d5c5b518628d07e7698992
Author: Wadeck Follonier <wad...@users.noreply.github.com>
Date: 2020-03-24 (Tue, 24 Mar 2020)
Changed paths:
M src/main/resources/warnings.json
Log Message:
-----------
Correction of incorrectly merged PR
The PR #317 was merged, but due to the master branch being changed between the
creation and the merge, the patch was not applied at the correct location.
- https://github.com/jenkins-infra/update-center2/pull/317/files
-
https://github.com/jenkins-infra/update-center2/commit/12ef2f5dc161c3f84792731951fb8f73da2fed91
:'(
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-commits+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkins-infra/update-center2/push/refs/heads/Wadeck-patch-patch-2/000000-3c1506%40github.com.
