English Amiga Board - View Single Post

DrBong · 05 November 2020, 19:21

@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!

05 November 2020, 19:21	#3
DrBong HOL / AMR Team Member Join Date: Dec 2001 Location: Australia Posts: 2,632	@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 20:28. Reason: Added EDIT! ;-)