View Single Post
Old 05 November 2020, 19:21   #3
HOL / AMR Team Member

DrBong's Avatar
Join Date: Dec 2001
Location: Australia
Posts: 2,617
Already reported it to Cody/RCK a couple of days ago in the private HOL migration thread. Cody has now fixed it!

EDIT: Mods, please shift this thread to a more appropriate home like HOL suggestions and feedback. Many thanks in advance!

Last edited by DrBong; 05 November 2020 at 20:28. Reason: Added EDIT! ;-)
DrBong is offline  
Page generated in 0.10346 seconds with 11 queries