cherry-ignore: Add patch that doesn't apply to 18.1

This commit is contained in:
Dylan Baker 2018-08-30 08:31:12 -07:00
parent 8aba522f49
commit 229d0854e0

View file

@ -86,3 +86,7 @@ c92a463d2341dd7893dd8b54775930ed9be72ac0
# ignored
#
1e40f6948310be07abb2d0198e6602769892cdac
# This patch isn't necessary, since the patch it fixes is not present in 18.1
#
a72dbc461bdb7714656e62cd8f4b00a404c2e6e0