Updating PR, using boolattr
Updating PR, using boolattr

CLUSTERfoo/Escher.jl,MichaeLeroy/Escher.jl,CLUSTERfoo/Escher.jl,MichaeLeroy/Escher.jl,JuliaPackageMirrors/Escher.jl,JuliaPackageMirrors/Escher.jl