https://pantsbuild.org/ logo
h

happy-kitchen-89482

04/13/2017, 12:03 AM
I wonder if
fingerprint=True
does something wrong for list-valued options