Timestamp:
Apr 23, 2021, 9:02:12 PM (5 years ago)
Author:
Frederik Heber <frederik.heber@…>
Branches:
Candidate_v1.7.0, stable
Children:
87c1cc
Parents:
7df863
git-author:
Frederik Heber <frederik.heber@…> (04/10/21 14:16:42)
git-committer:
Frederik Heber <frederik.heber@…> (04/23/21 21:02:12)
Message:

FIX: PopAtomAction must not store atom ptr but atom ids for undoing.

(No files)

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