View Single Post
Old 05 November 2020, 19:27   #2
DrBong
HOL / AMR Team Member

DrBong's Avatar
 
Join Date: Dec 2001
Location: Australia
Posts: 2,612
Reported this bug a few days before your post to Cody/RCK in the private HOL migration thread. Thankfully, Cody has now fixed it!
DrBong is offline  
 
Page generated in 0.04409 seconds with 11 queries