Commit c88b1585 authored by Alexander Gerwing's avatar Alexander Gerwing

Merge branch 'bucket_colouring' into 'master'

Bucket colouring

See merge request !99
parents 17ce6f00 d9d19560
Pipeline #38407 failed with stage
in 11 seconds