(English) Pivot, Pivot, Pivot: The dog days of summer have arrived, pivot but don’t halt your GR efforts

Matt Triemstra