#12 (Feb 26, 2020, 5:25:00 PM)

Started 5 yr 4 mo ago

Took 1 hr 17 min on olive

	Started by user n.oje.bar@gmail.com
	Revision: 6bc9b30da193adf5989bd2a73983ce5dddcdbbff Repository: https://github.com/nojb/riscv-ocaml refs/remotes/origin/trunk

No changes.