<?php

namespace Drupal\workspaces;

/**
 * An exception thrown when a workspace can not be published.
 */
class WorkspacePublishException extends WorkspaceAccessException {
}