Jonathan Bohren

Results 135 comments of Jonathan Bohren

@RoseWall can you take a look at this when you get back?

We've found a fix for this, and @RoseWall is applying it to the other cases before creating a PR.

@konradb3 Take a look at 4eb0e4a

A lot of these changes are from reformatting, but there are a couple useful things, too.