logging.py: Make time_str optional

YosysHQ / mau

Modular Application Utilities

ISC License

4 stars 3 forks source link

Closed KrystalDelusion closed 7 months ago

KrystalDelusion commented 7 months ago

If time_str is empty, it shouldn't add a space to the list of parts.

jix commented 7 months ago

Rebased and merged as #15