3 Commits

Author	SHA1	Message	Date
Daniel Shahaf	edfc7dfd9b	'main': Fix issue #577.	2020-02-28 22:36:57 +00:00
Daniel Shahaf	9880276756	'main': Fix the currently-failing test for issue #577. ... It is fixed in the next commit.	2020-02-28 22:35:56 +00:00
Daniel Shahaf	f087f3c6e4	main: Add a test for issue #577.	2018-11-01 04:01:05 +00:00