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

DrBong's Avatar
 
Join Date: Dec 2001
Location: Australia
Posts: 2,612
@Predseda
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 21:28. Reason: Added EDIT! ;-)
DrBong is offline  
 
Page generated in 0.04838 seconds with 11 queries