https://pantsbuild.org/ logo
#development
Title
# development
w

witty-crayon-22786

07/28/2021, 5:58 PM
shaving a half dozen yaks right now, so in case someone else can get to it: it looks like the options reference hasn’t been updated for v2.6 or v2.7 (missing the remote_cache_warnings option)… maybe also v2.5
h

hundreds-father-404

07/28/2021, 6:00 PM
will regen!
thanks
we really need to automate checking that it was regenerated...I'll invest the couple of minutes to do that today
w

witty-crayon-22786

07/28/2021, 7:14 PM
thanks!
h

happy-kitchen-89482

07/28/2021, 8:09 PM
Thanks!