Changeset 6157

Timestamp:
2019-08-08T18:24:11+02:00 (5 years ago)
Author:
josefine.ghattas
Message:

Correction: variable ok_zimov was never initialized. Error introcuded in changset [5738].

(No files)

Note: See TracChangeset for help on using the changeset viewer.