20
0
2019-11-01 22:38:30 +00:00
committed by Git OBS Bridge
parent 5462847f68
commit 1ddd3cc5f5
2 changed files with 8 additions and 3 deletions
+5
View File
@@ -1,3 +1,8 @@
-------------------------------------------------------------------
Fri Nov 1 12:34:56 UTC 2019 - ohering@suse.de
- Require current dune macros
-------------------------------------------------------------------
Mon Sep 23 16:35:39 UTC 2019 - ohering@suse.de