[patch] patch to be applied to deve/bazel to update to 0.18.0
bazel.diff (text/plain), 1.32 KB, created by Klaus Aehlig on 2018-10-15 08:59:20 UTC
(hide)
 
Creator: Klaus Aehlig
Created: 2018-10-15 08:59:20 UTC
Size: 1.32 KB

Flags:

aehlig: maintainer-approval+
Actions: View | Diff
Attachments on bug 232274: 198165