Commit abfa1f7a authored by vaclav's avatar vaclav
Browse files

address reviewer's comments

parent 93ee9910