April 2019

— New BERT compilation phase for generated files.
— Cleanup *.o and *.d files in ports.
— Revert git --no-tags due to error on some boxes.
— Fix logger reset.
— New feature eval $(mad stop).
— More adult error handling.
— Release management and compilation fixes.